- One Modal Logic to Rule Them All?Wesley H. Holliday & Tadeusz Litak - 2018 - In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer (eds.), Advances in Modal Logic, Vol. 12. College Publications. pp. 367-386.details
|
|
On the Rules of Suppositions in Formal Logic.Stanisław Jaśkowski - 1934 - In ¸ Itepmccall1967. Oxford at the Clarendon Press.details
|
|
Provability in logic.Stig Kanger - 1957 - Stockholm,: Almqvist & Wiksell.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
Modal logic: the Lewis-modal systems.Joseph Jay Zeman - 1973 - London,: Clarendon Press.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
|
|
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
|
|
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.details
|
|
Strict implication, deducibility and the deduction theorem.Ruth Barcan Marcus - 1953 - Journal of Symbolic Logic 18 (3):234-236.details
|
|
Untersuchungen zum Prädikatenkalkul.Oiva Ketonen - 1945 - Journal of Symbolic Logic 10 (4):127-130.details
|
|
Does the deduction theorem fail for modal logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.details
|
|
Effective completeness theorems for modal logic.Suman Ganguli & Anil Nerode - 2004 - Annals of Pure and Applied Logic 128 (1-3):141-195.details
|
|
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.details
|
|
A New Introduction to Modal Logic.G. E. Hughes & M. J. Cresswell - 1996 - Studia Logica 62 (3):439-441.details
|
|
G. E. Hughes & M. J. Cresswell, A New Introduction to Modal Logic. [REVIEW]Paolo Crivelli & Timothy Williamson - 1998 - Philosophical Review 107 (3):471.details
|
|
Review: Oiva Ketonen, Untersuchungen zum Pradikatenkalkul. [REVIEW]Paul Bernays - 1945 - Journal of Symbolic Logic 10 (4):127-130.details
|
|
Reviews. Oiva Ketonen. Untersuchungen zum Prädikatenkalkul. Annales Academiae Scientiarum Fennicae, series A, I. Mathematica-physica 23. Helsinki 1944, 71 pp. [REVIEW]Paul Bernays - 1945 - Journal of Symbolic Logic 10 (4):127-130.details
|
|
Encoding modal logics in logical frameworks.Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano - 1998 - Studia Logica 60 (1):161-208.details
|
|
Modal Logic for Philosophers.James W. Garson - 2006 - Cambridge and New York: Cambridge University Press.details
|
|
Modal Logic for Philosophers.James W. Garson - 2006 - Cambridge and New York: Cambridge University Press.details
|
|
Logic in Computer Science: Modelling and Reasoning about Systems.Michael Huth & Mark Ryan - 2004 - Cambridge University Press.details
|
|
Labelled non-classical logics.Luca Viganò - 2000 - Boston: Kluwer Academic Publishers.details
|
|
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.details
|
|
Modal logic for philosophers.James W. Garson - 2006 - New York: Cambridge University Press.details
|
|
A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.details
|
|
Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.details
|
|
Understanding proofs.Jeremy Avigad - manuscriptdetails
|
|
Labelled Non-Classical Logics.Luca Vigano - 2004 - Bulletin of Symbolic Logic 10 (1):107-108.details
|
|
Écrits logiques.Jacques Herbrand, Jean van Heijenoort & Warren D. Goldfarb - 1974 - Synthese 27 (1):271-284.details
|
|
Modal logic, the Lewis-modal systems.J. Jay Zeman - 1973 - Revue Philosophique de la France Et de l'Etranger 163:479-479.details
|
|
Écrits logiques.J. Herbrand - 1970 - Tijdschrift Voor Filosofie 32 (4):801-802.details
|
|
On the meanings of the logical constants and the justifications of the logical laws.Per Martin-Löf - 1996 - Nordic Journal of Philosophical Logic 1 (1):11-60.details
|
|