Modular Sequent Systems for Modal Logic-Reference-Cited by-同舟云学术

Modular Sequent Systems for Modal Logic

Published:2009 Issue: Volume: Page:152-166
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Brünnler Kai,Straßburger Lutz

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02716-1_12.pdf

Reference16 articles.

1. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Hodges, W., Hyland, M., Steinhorn, C., Truss, J. (eds.) Logic: from foundations to applications. Proc. Logic Colloquium, Keele, UK, 1993, pp. 1–32. Oxford University Press, New York (1996)

2. Belnap Jr., N.D.: Display logic. Journal of Philosophical Logic 11, 375–417 (1982)

3. Brünnler, K.: Deep sequent systems for modal logic. In: Governatori, G., Hodkinson, I., Venema, Y. (eds.) Advances in Modal Logic, vol. 6, pp. 107–119. College Publications (2006)

4. Brünnler, K.: Deep sequent systems for modal logic. In: Archive for Mathematical Logic (to appear, 2008) http://www.iam.unibe.ch/~kai/Papers/dsm.pdf

5. Lecture Notes in Computer Science;K. Brünnler,2001

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

1. Sequent Systems on Undirected Graphs;Lecture Notes in Computer Science;2024

2. Semantic cut elimination for the logic of bunched implications, formalized in Coq;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11

3. Tree-sequent calculi and decision procedures for intuitionistic modal logics;Journal of Logic and Computation;2015-06-12

4. Cut Elimination in Nested Sequents for Intuitionistic Modal Logics;Lecture Notes in Computer Science;2013

5. Realization for justification logics via nested sequents: Modularity through embedding;Annals of Pure and Applied Logic;2012-09