David Makinson. A generalisation of the concept of a relational model for modal logic. Theoria , vol. 36 , pp. 331–335

Journal of Symbolic Logic 38 (3):520 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273056

Links

PhilArchive



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

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

A generalisation of the concept of a relational model for modal logic.David Makinson - 1970 - Theoria 36 (3):331-335.
S. K. Thomason. Noncompactness in propositional modal logic. The journal of symbolic logic, vol. 37 no. 4 , pp. 716–720. - Kit Fine. An incomplete logic containing S4. Theoria, vol. 40 , pp. 23–29. - S. K. Thomason. An incompleteness theorem in modal logic. Theoria, vol. 40 , pp. 30–34. - Martin Gerson. The inadequacy of the neighbourhood semantics for modal logic. The journal of symbolic logic, vol. 40 , pp. 141–148. - Martin Sebastian Gerson. An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics. Studio logica, vol. 34 , pp. 333–342. - Martin Gerson. A neighbourhood frame for T with no equivalent relational frame. Zeitschrift für mathematische Logik und Grundlugen der Mathematik, vol. 22 , pp. 29–34. - V. B. Šehtman. On incomplete propositional logics. Soviet mathematics, vol. 18 , pp. 985–989. , pp. 542–545.) - J. F. A. K. van Benthem. Two simple incomplete modal logics. Theoria, vol. 44 , pp. 25–37. - J. F. A. K. van Benthem and W. [REVIEW]R. A. Bull - 1983 - Journal of Symbolic Logic 48 (2):488-495.
A Normal Modal Calculus Between T and S4 without the Finite Model Property.David Makinson - 1971 - Journal of Symbolic Logic 36 (4):692-692.
A warning about the choice of primitive operators in modal logic.David Makinson - 1973 - Journal of Philosophical Logic 2 (2):193 - 196.
On Some Completeness Theorems in Modal Logic.D. Makinson - 1966 - Mathematical Logic Quarterly 12 (1):379-384.
Some embedding theorems for modal logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.
A normal modal calculus between T and s4 without the finite model property.David Makinson - 1969 - Journal of Symbolic Logic 34 (1):35-38.
Review: David Makinson, Some Embedding Theorems for Modal Logic. [REVIEW]S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (2):351-351.
How meaningful are modal operators?David Makinson - 1966 - Australasian Journal of Philosophy 44 (3):331 – 337.
David Makinson. Some embedding theorems for modal logic. Notre Dame journal of formal logic, vol. 12 , pp. 252–254.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (2):351.
Rubin Jean E.. Bi-modal logic, double-closure algebras, and Hilbert space. Zeitsckrift für matkematische Logik und Grundlagen der Mathematik, vol. 8 pp. 305–322. [REVIEW]David Makinson - 1972 - Journal of Symbolic Logic 37 (1):184-184.
Review: F. R. Drake, On McKinsey's Syntactical Characterizations of Systems of Modal Logic. [REVIEW]David Makinson - 1971 - Journal of Symbolic Logic 36 (4):691-692.
Review: R. A. Bull, A Note on the Modal Calculi S4.2 and S4.3; R. A. Bull, A Class of Extensions of the Modal System S4 with the Finite Model Property; R. A. Bull, That all Normal Extensions of S4.3 have the Finite Model Property. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.
Review: M. H. Lob, Extensional Interpretations of Modal Logics. [REVIEW]David Makinson - 1971 - Journal of Symbolic Logic 36 (4):692-692.
Lattice logic as a fragment of (2-sorted) residuated modal logic.Chrysafis Hartonas - 2019 - Journal of Applied Non-Classical Logics 29 (2):152-170.

Analytics

Added to PP
2013-11-22

Downloads
32 (#485,568)

6 months
5 (#652,053)

Historical graph of downloads
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