Reduction of second‐order logic to modal logic

Mathematical Logic Quarterly 21 (1):107-114 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19750210114

Links

PhilArchive



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

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

Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Recursive complexity of the Carnap first order modal logic C.Amélie Gheerbrant & Marcin Mostowski - 2006 - Mathematical Logic Quarterly 52 (1):87-94.
Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Toward model-theoretic modal logics.Minghui Ma - 2010 - Frontiers of Philosophy in China 5 (2):294-311.
Reduction of tense logic to modal logic. I.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (3):549-551.
Modal deduction in second-order logic and set theory - II.Johan van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti - 1998 - Studia Logica 60 (3):387-420.
Modal logic and model theory.Giangiacomo Gerla & Virginia Vaccaro - 1984 - Studia Logica 43 (3):203 - 216.
On Quantified Modal Logic.Melvin Fitting - unknown
A second course in logic.Christopher Gauker - manuscript
Reduction of tense logic to modal logic II.S. K. Thomason - 1974 - Theoria 40 (3):154-169.
Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
Barcan Formulas in Second-Order Modal Logic.Timothy Williamson - 2015 - In Themes From Barcan Marcus. Lauener Library of Analytical Philosophy, Vol. 3. pp. 51-74.
Modal Logics A Summary of the Well-Behaved.Melvin Fitting - unknown
The logic of Peirce algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.

Analytics

Added to PP
2013-12-01

Downloads
57 (#280,947)

6 months
7 (#430,488)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
Logic and time.John P. Burgess - 1979 - Journal of Symbolic Logic 44 (4):566-582.
Modal definability in enriched languages.Valentin Goranko - 1989 - Notre Dame Journal of Formal Logic 31 (1):81-105.
Complete additivity and modal incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.

View all 22 citations / Add more citations

References found in this work

Reduction of tense logic to modal logic. I.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (3):549-551.
Noncompactness in propositional modal logic.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (4):716-720.
The logical consequence relation of propositional tense logic.S. K. Thomason - 1975 - Mathematical Logic Quarterly 21 (1):29-40.

Add more references