Mathematical modal logic: A view of its evolution

Journal of Applied Logic 1 (5-6):309-392 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s1570-8683(03)00008-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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

Goldblatt-Thomason-style Theorems for Graded Modal Language.Katsuhiko Sano & Minghui Ma - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 330-349.
Review: Robert Goldblatt, Topoi. The Categorial Analysis of Logic. [REVIEW]Philip J. Scott - 1986 - Journal of Symbolic Logic 51 (4):1077-1078.
Review: Robert Goldblatt, Axiomatising the Logic of Computer Programming. [REVIEW]Mitchell Wand - 1985 - Journal of Symbolic Logic 50 (3):854-855.
An Algebraic View of the Mares-Goldblatt Semantics.Andrew Tedder - 2024 - Journal of Philosophical Logic 53 (2):331-349.
Goldblatt-Thomason-style Theorems for Graded Modal Language.Katsuhiko Sano & Minghui Ma - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 330-349.
Modal Definability Based on Łukasiewicz Validity Relations.Bruno Teheux - 2016 - Studia Logica 104 (2):343-363.
Quantified Modal Relevant Logics.Nicholas Ferenz - 2023 - Review of Symbolic Logic 16 (1):210-240.
Lachlan A. H.. A note on Thomason's refined structures for tense logics. Theoria, vol. 40, pp. 117–120.Fine Kit. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Ranger Stig, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14.Goldblatt R. I. and Thomason S. K.. Axiomatic classes in propositional modal logic. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by Crossley J. N., Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 163–173.Goldblatt R. I.. First-order definability in modal logic. [REVIEW]Robert A. Bull - 1982 - Journal of Symbolic Logic 47 (2):440-445.
Review: Robert Goldblatt, Logics of Time and Computation. [REVIEW]Rohit Parikh - 1995 - Journal of Symbolic Logic 60 (1):347-347.
Review: Robert Goldblatt, Logics of Time and Computation. [REVIEW]Rohit Parikh - 1991 - Journal of Symbolic Logic 56 (4):1495-1496.

Analytics

Added to PP
2016-06-30

Downloads
48 (#322,980)

6 months
14 (#253,070)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Possible Worlds.Christopher Menzel - 2013 - Stanford Encyclopedia of Philosophy.
Modal Logic.James W. Garson - 2009 - Stanford Encyclopedia of Philosophy.
The logic of being informed.Luciano Floridi - 2006 - Logique Et Analyse 49 (196):433-460.

View all 52 citations / Add more citations

References found in this work

A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
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.
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.

View all 104 references / Add more references