- Some embedding theorems for modal logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.details
|
|
That All Normal Extensions of S4.3 Have the Finite Model Property.R. A. Bull - 1966 - Mathematical Logic Quarterly 12 (1):341-344.details
|
|
An Algebraic Approach to Subframe Logics. Modal Case.Guram Bezhanishvili, Silvio Ghilardi & Mamuka Jibladze - 2011 - Notre Dame Journal of Formal Logic 52 (2):187-202.details
|
|
A reduction of deontic logic to alethic modal logic.Alan Ross Anderson - 1958 - Mind 67 (265):100-103.details
|
|
Monadic Bounded Algebras.Galym Akishev & Robert Goldblatt - 2010 - Studia Logica 96 (1):1 - 40.details
|
|
Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi.Saul A. Kripke - 1965 - In J. W. Addison (ed.), The theory of models. Amsterdam,: North-Holland Pub. Co.. pp. 206-20.details
|
|
On Notions of Completeness Weaker than Kripke Completeness.T. Litak - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 149-169.details
|
|
On Notions of Completeness Weaker than Kripke Completeness.T. Litak - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 149-169.details
|
|
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.details
|
|
Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.details
|
|
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.details
|
|
Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses.Timothy Williamson - 1998 - Notre Dame Journal of Formal Logic 39 (1):128-134.details
|
|
Semantic analysis of tense logics.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (1):150-158.details
|
|
Post completeness in modal logic.Krister Segerberg - 1972 - Journal of Symbolic Logic 37 (4):711-715.details
|
|
Escapism: The logical basis of ethics.A. N. Prior - 1958 - Journal of Symbolic Logic (4):610-611.details
|
|
Escapism: The logical basis of ethics.P. H. Nowell-Smith & E. J. Lemmon - 1960 - Mind 69 (275):289-300.details
|
|
Escapism: The Logical Basis of Ethics.P. H. Nowell-Smith & E. J. Lemmon - 1968 - Journal of Symbolic Logic 33 (4):611-612.details
|
|
Semisimple Varieties of Modal Algebras.Tomasz Kowalski & Marcus Kracht - 2006 - Studia Logica 83 (1-3):351-363.details
|
|
Dynamic Logic.David Harel, Dexter Kozen & Jerzy Tiuryn - 2000 - MIT Press.details
|
|
Algebraic Logic.Paul Richard Halmos - 2014 - New York, NY, USA: Chelsea.details
|
|
An algebraic study of well-foundedness.Robert Goldblatt - 1985 - Studia Logica 44 (4):423 - 437.details
|
|
Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants.Rohan French - 2012 - Notre Dame Journal of Formal Logic 53 (4):549-556.details
|
|
The Logics Containing S 4.3.Kit Fine - 1971 - Mathematical Logic Quarterly 17 (1):371-376.details
|
|
Logics containing k4. part I.Kit Fine - 1974 - Journal of Symbolic Logic 39 (1):31-42.details
|
|
Intuitionistic logic and modality via topology.Leo Esakia - 2004 - Annals of Pure and Applied Logic 127 (1-3):155-170.details
|
|
An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.details
|
|
Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.details
|
|
Introduction to a general theory of elementary propositions.Emil L. Post - 1921 - American Journal of Mathematics 43 (3):163--185.details
|
|
Varieties Of Tense Algebras.Tomasz Kowalski - 1998 - Reports on Mathematical Logic:53-95.details
|
|