Cut-free modal sequents for normal modal logics.
-
Published:1993-09-01
Issue:4
Volume:34
Page:
-
ISSN:0029-4527
-
Container-title:Notre Dame Journal of Formal Logic
-
language:
-
Short-container-title:Notre Dame J. Formal Logic
Publisher
Duke University Press
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Cut Elimination for Extended Sequent Calculi;Bulletin of the Section of Logic;2023-09-25
2. From Single Agent to Multi-Agent via Hypersequents;Logica Universalis;2012-05-26
3. Semantic Methods;Gentzen Calculi for Modal Propositional Logic;2010
4. A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5;The Review of Symbolic Logic;2008-06
5. Modal Tree-Sequents;Mathematical Logic Quarterly;1996