- On an Intuitionistic Modal Logic.G. M. Bierman & V. C. V. De Paiva - 2000 - Studia Logica 65 (3):383 - 416.details
|
|
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
|
|
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
|
|
Modal logic.Yde Venema - 2000 - Philosophical Review 109 (2):286-289.details
|
|
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.details
|
|
The finite model property for MIPQ and some consequences.Gisèle Fischer Servi - 1978 - Notre Dame Journal of Formal Logic 19:687.details
|
|
A modal extension of intuitionist logic.R. A. Bull - 1965 - Notre Dame Journal of Formal Logic 6 (2):142-146.details
|
|
[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.details
|
|
A Framework for Intuitionistic Modal Logics.Gordon Plotkin & Colin Stirling - 1988 - Journal of Symbolic Logic 53 (2):669-669.details
|
|
Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.details
|
|
A new S4 classical modal logic in natural deduction.Maria Paz N. Medeirodas - 2006 - Journal of Symbolic Logic 71 (3):799-809.details
|
|
A New S4 Classical Modal Logic in Natural Deduction.Maria Da Paz N. Medeiros - 2006 - Journal of Symbolic Logic 71 (3):799 - 809.details
|
|
The finite model property for ${\bf MIPQ}$ and some consequences.Gisèle Fischer-Servi - 1978 - Notre Dame Journal of Formal Logic 19 (4):687-692.details
|
|
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.details
|
|
Fitch-style rules for many modal logics.David F. Siemens - 1977 - Notre Dame Journal of Formal Logic 18 (4):631-636.details
|
|
Deep sequent systems for modal logic.Kai Brünnler - 2009 - Archive for Mathematical Logic 48 (6):551-577.details
|
|
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.details
|
|
On an intuitionistic modal logic.G. M. Bierman & V. C. V. de Paiva - 2000 - Studia Logica 65 (3):383-416.details
|
|
Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.details
|
|
Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.details
|
|
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.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
|
|