- Method of Tree-Hypersequents for Modal Propositional Logic.Francesca Poggiolesi - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 31–51.details
|
|
A Systematic Proof Theory for Several Modal Logics.C. Stewart & P. Stouppa - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 309-333.details
|
|
Deep Sequent Systems for Modal Logic.Kai Brünnler - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 107-120.details
|
|
Deep Sequent Systems for Modal Logic.Kai Brünnler - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 107-120.details
|
|
Displaying Modal Logic.Heinrich Wansing - 1998 - Dordrecht, Netherland: Springer.details
|
|
Modal logic: the Lewis-modal systems.Joseph Jay Zeman - 1973 - London,: Clarendon Press.details
|
|
Methoden zur Axiomatisierung beliebiger Aussagen‐ und Prädikatenkalküle.Karl Schröter - 1955 - Mathematical Logic Quarterly 1 (4):241-251.details
|
|
Displaying and deciding substructural logics 1: Logics with contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.details
|
|
Linear logic displayed.Nuel Belnap - 1989 - Notre Dame Journal of Formal Logic 31 (1):14-25.details
|
|
Indexed systems of sequents and cut-elimination.Grigori Mints - 1997 - Journal of Philosophical Logic 26 (6):671-696.details
|
|
Cut-free sequent calculi for some tense logics.Ryo Kashima - 1994 - Studia Logica 53 (1):119 - 135.details
|
|
Kripke Completeness of First-Order Constructive Logics with Strong Negation.Ichiro Hasuo & Ryo Kashima - 2003 - Logic Journal of the IGPL 11 (6):615-646.details
|
|
Mehrwertige Logik: Eine Einführung in Theorie Und Anwendungen.Siegfried Gottwald - 1989 - De Gruyter.details
|
|
Substructural logics on display.R. Goré - 1998 - Logic Journal of the IGPL 6 (3):451-504.details
|
|
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.details
|
|
The elimination theorem when modality is present.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (4):249-265.details
|
|
Deep sequent systems for modal logic.Kai Brünnler - 2009 - Archive for Mathematical Logic 48 (6):551-577.details
|
|
Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.details
|
|
Displaying Modal Logic.Heinrich Wansing - 2000 - Studia Logica 66 (3):421-426.details
|
|
Power and weakness of the modal display calculus.Marcus Kracht - 1996 - In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 93--121.details
|
|
The method of hypersequents in the proof theory of propositional non-classical logics.Arnon Avron - 1996 - In Wilfrid Hodges (ed.), Logic: Foundations to Applications. Oxford: pp. 1-32.details
|
|
A perspective on modal sequent logic.Stephen Blamey & Lloyd Humberstone - 1991 - Publications of the Research Institute for Mathematical Sciences 27 (5):763-782.details
|
|
Modal logic, the Lewis-modal systems.J. Jay Zeman - 1973 - Revue Philosophique de la France Et de l'Etranger 163:479-479.details
|
|
Generalised sequent calculus for propositional modal logics.Andrzej Indrzejczak - 1997 - Logica Trianguli 1:15-31.details
|
|
The display problem.N. D. Belnap - 1996 - In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 79--93.details
|
|
Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S.Rajeev Gore - manuscriptdetails
|
|
Gaggles, Gentzen and Galois: Cut-free display calculi for algebraizable logics.R. Goré - 1998 - Logic Journal of the IGPL 6 (5):669-694.details
|
|