- (2 other versions)Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.details
|
|
(1 other version)Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..details
|
|
The logical form of action sentences.Donald Davidson - 1966 - In Nicholas Rescher (ed.), The Logic of Decision and Action. University of Pittsburgh Press. pp. 81--95.details
|
|
Agency and deontic logic.John Horty - 2001 - New York: Oxford University Press.details
|
|
On the logic of informational independence and its applications.Gabriel Sandu - 1993 - Journal of Philosophical Logic 22 (1):29 - 60.details
|
|
Hierarchies of modal and temporal logics with reference pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.details
|
|
Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.details
|
|
Hybrid languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.details
|
|
Modal languages for topology: Expressivity and definability.Balder ten Cate, David Gabelaia & Dmitry Sustretov - 2009 - Annals of Pure and Applied Logic 159 (1-2):146-170.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
|
|
Facing the future: agents and choices in our indeterminist world.Nuel D. Belnap - 2001 - New York: Oxford University Press. Edited by Michael Perloff & Ming Xu.details
|
|
Bringing it about.Krister Segerberg - 1989 - Journal of Philosophical Logic 18 (4):327 - 347.details
|
|
(1 other version)A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.details
|
|
Hybrid Logics: Characterization, Interpolation and Complexity.Carlos Areces, Patrick Blackburn & Maarten Marx - 2001 - Journal of Symbolic Logic 66 (3):977-1010.details
|
|
Arthur Prior and Hybrid Logic.Patrick Blackburn - 2006 - Synthese 150 (3):329-372.details
|
|
Hybrid languages and temporal logic.P. Blackburn & M. Tzakova - 1999 - Logic Journal of the IGPL 7 (1):27-54.details
|
|
Repairing the interpolation theorem in quantified modal logic.Carlos Areces, Patrick Blackburn & Maarten Marx - 2003 - Annals of Pure and Applied Logic 124 (1-3):287-299.details
|
|
An incomplete logic containing S.Kit Fine - 1974 - Theoria 40 (1):23-29.details
|
|
Interpolation for extended modal languages.Balder ten Cate - 2005 - Journal of Symbolic Logic 70 (1):223-234.details
|
|
(1 other version)Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.details
|
|
Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.details
|
|
(1 other version)The modal logic of inequality.Maarten de Rijke - 1992 - Journal of Symbolic Logic 57 (2):566-584.details
|
|
Constructive interpolation in hybrid logic.Patrick Blackburn & Maarten Marx - 2003 - Journal of Symbolic Logic 68 (2):463-480.details
|
|
(1 other version)An approach to tense logic.R. A. Bull - 1970 - Theoria 36 (3):282-300.details
|
|
Decision procedures for logics of consequential implication.Claudio Pizzi - 1991 - Notre Dame Journal of Formal Logic 32 (4):618-636.details
|
|
Henkin quantifiers and the definability of truth.Tapani Hyttinen & Gabriel Sandu - 2000 - Journal of Philosophical Logic 29 (5):507-527.details
|
|
An Investigation in the Logics of Seeing-to-It-That.Ming Xu - 1996 - Dissertation, University of Pittsburghdetails
|
|
(1 other version)The principles of mathematics revisited.Jaakko Hintikka - 1996 - New York: Cambridge University Press.details
|
|
(1 other version)Derivation rules as anti-axioms in modal logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.details
|
|
An incompleteness theorem in modal logic.S. K. Thomason - 1974 - Theoria 40 (1):30-34.details
|
|
Hybrid logics with Sahlqvist axioms.B. ten Cate - 2005 - Logic Journal of the IGPL 13 (3):293-300.details
|
|
IF logic and the foundations of mathematics.Gabriel Sandu & Tapani Hyttinen - 2001 - Synthese 126 (1-2):37-47.details
|
|
Agency and Deontic Logic.Paul Mcnamara - 2004 - Mind 113 (449):179-185.details
|
|
The Morning Star Paradox.Stig Kanger - 1957 - Theoria 23 (1):1-11.details
|
|
Stig Kanger. The Morning Star Paradox. Theoria (Lund), vol. 23 (1957), pp. 1–11. - Stig Kanger. A note on quantification and modalities. Theoria (Lund), vol. 23 (1957), pp. 133–134. [REVIEW]Stig Kanger - 1969 - Journal of Symbolic Logic 34 (2):305-306.details
|
|
Persistent and Invariant Formulas Relative to Theories of Higher Order.S. Feferman, G. Kreisel & Solomon Feferman - 1972 - Journal of Symbolic Logic 37 (4):764-765.details
|
|
The Price of Universality.Edith Hemaspaandra - 1996 - Notre Dame Journal of Formal Logic 37 (2):174-203.details
|
|
(1 other version)An Approach to Tense Logic.R. A. Bull - 1974 - Journal of Symbolic Logic 39 (1):173-173.details
|
|
(1 other version)On independence-friendly fixpoint logics.J. C. Bradfield - 2004 - Philosophia Scientiae 8 (2):125-144.details
|
|
(1 other version)On independence-friendly fixpoint logics.J. C. Bradfield - 2004 - Philosophia Scientiae 8:125-144.details
|
|
Introduction: Static and dynamic aspects of syntactic structure. [REVIEW]Patrick Blackburn - 1995 - Journal of Logic, Language and Information 4 (1):1-4.details
|
|
(1 other version)Metaphysische Anfangsgründe der Rechtslehre.Immanuel Kant - 2016 - F. Nicolovius.details
|
|
(1 other version)On IF Modal Logic and its Expressive Power.Tero Tulenheimo - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 475-498.details
|
|
(1 other version)On IF Modal Logic and its Expressive Power.Tero Tulenheimo - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 475-498.details
|
|