Multi-type display calculus for propositional dynamic logic-Reference-Cited by-同舟云学术

Multi-type display calculus for propositional dynamic logic

Published:2014-11-21 Issue:6 Volume:26 Page:2067-2104
ISSN:0955-792X
Container-title:Journal of Logic and Computation
language:en
Short-container-title:J Logic Computation

Author:

Frittella Sabine,Greco Giuseppe,Kurz Alexander,Palmigiano Alessandra

Publisher

Oxford University Press (OUP)

Subject

Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science

Link

http://academic.oup.com/logcom/article-pdf/26/6/2067/8667110/exu064.pdf

Reference25 articles.

1. Display logic;Belnap;Journal of Philosophical Logic,1982

2. Clouston R. Dawson J. E. Goré R. Tiu A. . Annotation-free sequent calculi for full intuitionistic linear logic - extended version. CoRR 2013 abs/1307.0289

3. Algorithmic correspondence for intuitionistic modal μ-calculus;Conradie;Theoretical Computer Science,2015

4. Conradie W. Ghilardi S. Palmigiano A. . Unified correspondence. In Johan F.A.K. van Benthem on Logical and Informational Dynamics, Springer series Outstanding Contributions to Logic, Baltag A. Smets S. . eds. Springer 2014.

5. Algorithmic correspondence and canonicity for distributive modal logic

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Algebraic Proof Theory for LE-logics;ACM Transactions on Computational Logic;2024-01-17

2. Linear Logic Properly Displayed;ACM Transactions on Computational Logic;2023-01-28

3. Syntactic Completeness of Proper Display Calculi;ACM Transactions on Computational Logic;2022-10-20

4. Non-normal modal logics and conditional logics: Semantic analysis and proof theory;Information and Computation;2021-05

5. A duality for two-sorted lattices;Soft Computing;2021-01