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

Multi-type display calculus for dynamic epistemic logic

Published:2014-12-05 Issue:6 Volume:26 Page:2017-2065
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,Sikimić Vlasta

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/2017/8667112/exu068.pdf

Reference29 articles.

1. Epistemic Actions as Resources

2. Baltag A. Moss L. S. Solecki S. . The logic of public announcements, common knowledge and private suspicious. Technical Report SEN-R9922, 1999 Amsterdam CWI.

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

4. Linear logic displayed;Belnap;Notre Dame Journal of Formal Logic,1990

5. Clouston R. Dawson J. E. Goré R. Tiu A. . Annotation-free sequent calculi for full intuitionistic linear logic. Computer Science Logic, 2013 197–214.

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

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

2. Multi-type Calculi and Structural Control;Electronic Proceedings in Theoretical Computer Science;2023-08-07

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

4. Completeness of Nominal PROPs;Logical Methods in Computer Science;2023-01-26

5. Labelled Calculi for Lattice-Based Modal Logics;Logic and Its Applications;2023