A generalisation of the concept of a relational model for modal logic

Theoria 36 (3):331-335 (1970)
  Copy   BIBTEX

Abstract

Generalises the concept of a relational model for modal logic, due to Kripke, so as to obtain a closer correspondence between relational and algebraic models. The generalisation obtained is essentially equivalent to the notion of a "first-order" model that was defined independently by S.K.Thomason.

Categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1970.tb00431.x

Links

PhilArchive



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

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

IF Modal Logic and Classical Negation.Tero Tulenheimo - 2014 - Studia Logica 102 (1):41-66.
Implementing a relational theorem prover for modal logic K.Angel Mora, Emilio Munoz Velasco & Joanna Golińska-Pilarek - 2011 - International Journal of Computer Mathematics 88 (9):1869-1884.
Relational dual tableau decision procedure for modal logic K.Joanna Golińska-Pilarek, Emilio Munoz-Velasco & Angel Mora - 2012 - Logic Journal of the IGPL 20 (4):747-756.
First-order expressivity for s5-models: Modal vs. two-sorted languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.
Modality and Databases.Melvin Fitting - unknown
A new deduction system for deciding validity in modal logic K.Joanna Golinska-Pilarek, Emilio Munoz Velasco & Angel Mora - 2011 - Logic Journal of the IGPL 19 (2): 425-434.
A note on graded modal logic.Maarten de Rijke - 2000 - Studia Logica 64 (2):271-283.
A Note on Graded Modal Logic.Maarten De Rijke - 2000 - Studia Logica 64 (2):271 - 283.
A modal calculus analogous to k4w, based on intuitionistic propositional logic, iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
Modal logic and model theory.Giangiacomo Gerla & Virginia Vaccaro - 1984 - Studia Logica 43 (3):203 - 216.
Model theory and validity.Yannis Stephanou - 2000 - Synthese 123 (2):165-193.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Modalities in linear logic weaker than the exponential “of course”: Algebraic and relational semantics. [REVIEW]Anna Bucalo - 1994 - Journal of Logic, Language and Information 3 (3):211-232.

Analytics

Added to PP
2010-09-13

Downloads
39 (#399,999)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Makinson
London School of Economics

Citations of this work

Semantic analysis of tense logics.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (1):150-158.
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
Notes on conditional logic.Krister Segerberg - 1989 - Studia Logica 48 (2):157 - 168.
The inadequacy of the neighbourhood semantics for modal logic.Martin Gerson - 1975 - Journal of Symbolic Logic 40 (2):141-148.
An incomplete decidable modal logic.M. J. Cresswell - 1984 - Journal of Symbolic Logic 49 (2):520-527.

View all 9 citations / Add more citations

References found in this work

Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
Pragmatics and intensional logic.Richard Montague - 1970 - Synthese 22 (1-2):68--94.
Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.

Add more references