Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi

Dordrecht and Boston: Reidel (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1979

ISBN(s)

9789027709295   9027709297

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Model Theory for Modal Logic. Kripke Models for Modal Predicate Calculi.Kenneth A. Bowen - 1983 - Studia Logica 42 (1):105-106.
Review: Kenneth A. Bowen, Model Theory for Modal Logic. Kripke Models for Modal Predicate Calculi. [REVIEW]Rob Goldblatt - 1981 - Journal of Symbolic Logic 46 (2):415-417.
Model Theory for Modal Logic. Kripke Models for Modal Predicate Calculi.Rob Goldblatt - 1981 - Journal of Symbolic Logic 46 (2):415-417.
Bowen Kenneth A.. Model theory for modal logic. Kripke models for modal predicate calculi. Synthese library, vol. 127. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, x + 127 pp. [REVIEW]Rob Goldblatt - 1981 - Journal of Symbolic Logic 46 (2):415-417.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
First-order expressivity for s5-models: Modal vs. two-sorted languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.
Arithmetical interpretations and Kripke frames of predicate modal logic of provability.Taishi Kurahashi - 2013 - Review of Symbolic Logic 6 (1):1-18.
Finite Kripke models and predicate logics of provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
Modality and axiomatic theories of truth II: Kripke-Feferman.Johannes Stern - 2014 - Review of Symbolic Logic 7 (2):299-318.
Necessities and Necessary Truths. Proof-Theoretically.Johannes Stern - 2015 - Ergo: An Open Access Journal of Philosophy 2.
Submodels of Kripke models.Albert Visser - 2001 - Archive for Mathematical Logic 40 (4):277-295.
Cut-free tableau calculi for some intuitionistic modal logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.
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.
Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3.Daishi Yazaki - 2019 - Bulletin of the Section of Logic 48 (4).

Analytics

Added to PP
2021-11-17

Downloads
1 (#1,841,214)

6 months
1 (#1,346,405)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references