- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Normal modal model theory
Journal of Philosophical Logic 4 (2):97 - 131 (1975)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
On regular modal logics with axiom □ ⊤ → □□ ⊤.Kazimierz Świrydowicz - 1990 - Studia Logica 49 (2):171 - 174.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Normal monomodal logics can simulate all others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
On the non-availability of Dawson-modeling into certain relevance alethic modal logics.John Chidgey - 1979 - Studia Logica 38 (2):89 - 94.
The greatest extension of s4 into which intuitionistic logic is embeddable.Michael Zakharyaschev - 1997 - Studia Logica 59 (3):345-358.
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
On detachment-substitutional formalization in normal modal logics.Wieslaw Dziobiak - 1977 - Studia Logica 36 (3):165 - 171.
All proper normal extensions of s5-square have the polynomial size model property.Nick Bezhanishvili & Maarten Marx - 2003 - Studia Logica 73 (3):367 - 382.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Analytics
Added to PP
2009-01-28
Downloads
35 (#431,398)
6 months
7 (#339,156)
2009-01-28
Downloads
35 (#431,398)
6 months
7 (#339,156)
Historical graph of downloads
Citations of this work
ModelTtheory for Modal Logic. Part I — The de re/de Dicto distinction.Kit Fine - 1978 - Journal of Philosophical Logic 7 (1):125 - 156.
Failures of the interpolation lemma in quantified modal logic.Kit Fine - 1979 - Journal of Symbolic Logic 44 (2):201-206.
Model theory for an extension of intuitionistic logic.Cecylia Rauszer - 1977 - Studia Logica 36 (1-2):73 - 87.
The elimination of de re formulas.Michael Kaminski - 1997 - Journal of Philosophical Logic 26 (4):411-422.
References found in this work
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.
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford July 1963. North Holland. pp. 92-130.
A Completeness Theorem in Modal Logic.Saul A. Kripke - 1959 - Journal of Symbolic Logic 31 (2):276-277.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d9b7f7c4c-v4fj8 uwo