Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics

&
Journal of Symbolic Logic 51 (4):969-980 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273909

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,070

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

Uniform Short Proofs for Classical Theorems.Kees Doets - 2001 - Notre Dame Journal of Formal Logic 42 (2):121-127.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
The Craig interpolation theorem in multi-modal logics.J. X. Madarász - 1995 - Bulletin of the Section of Logic 3 (24):147-151.
Interpolation for first order S5.Melvin Fitting - 2002 - Journal of Symbolic Logic 67 (2):621-634.
An extended joint consistency theorem for a family of free modal logics with equality.Raymond D. Gumb - 1984 - Journal of Symbolic Logic 49 (1):174-183.
Weaver George. Logical consequence in modal logic: alternative semantic systems for normal modal logics. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Leblanc Hugues, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, pp. 308–317. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):317-317.
Repairing the interpolation theorem in quantified modal logic.Carlos Areces, Patrick Blackburn & Maarten Marx - 2003 - Annals of Pure and Applied Logic 124 (1-3):287-299.
Restricted Interpolation in Modal Logics.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 297-311.
Restricted Interpolation in Modal Logics.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 297-311.
Model Theoretical Aspects of Weakly Aggregative Modal Logic.Jixin Liu, Yifeng Ding & Yanjing Wang - 2022 - Journal of Logic, Language and Information 31 (2):261-286.

Analytics

Added to PP
2009-01-28

Downloads
42 (#370,093)

6 months
14 (#252,581)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Sayed Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.
Algebraic Logic, Where Does It Stand Today?Tarek Sayed Ahmed - 2005 - Bulletin of Symbolic Logic 11 (3):465-516.
Amalgamation Theorems in Algebraic Logic, an overview.Tarek Sayed-Ahmed - 2005 - Logic Journal of the IGPL 13 (3):277-286.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
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.
Logical Consequence in Modal Logic.John Corcoran & George Weaver - 1969 - Notre Dame Journal of Formal Logic 10 (4):370-384.
Semantics for ${\rm S}4.3.2$.J. Jay Zeman - 1972 - Notre Dame Journal of Formal Logic 13 (4):454-460.
A Note on the Interpolation Theorem in First Order Logic.George Weaver - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (14-18):215-218.

View all 6 references / Add more references