Interpolation and Preservation in

Notre Dame Journal of Formal Logic 39 (2):190-211 (1998)
  Copy   BIBTEX


In this paper we deal with the logic which is the infinitary extension of propositional modal logic that has conjunctions and disjunctions only for countable sets of formulas. After introducing some basic concepts and tools from modal logic, we modify Makkai's generalization of the notion of consistency property to make it fit for modal purposes. Using this construction as a universal instrument, we prove, among other things, interpolation for as well as preservation results for universal, existential, and positive -formulas



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Interpolation and Preservation in ${\cal M\kern-1pt L}{\omega1}$.Holger Sturm - 1998 - Notre Dame Journal of Formal Logic 39 (2):190-211.
Interpolation and preservation for pebble logics.Alexandru Baltag - 1999 - Journal of Symbolic Logic 64 (2):846-858.
Interpolation and Preservation for Pebble Logics.Alexandru Baltag - 1999 - Journal of Symbolic Logic 64 (2):846-858.
An Infinitary Graded Modal Logic.Maurizio Fattorosi-Barnaba & Silvano Grassotti - 1995 - Mathematical Logic Quarterly 41 (4):547-563.
Uniform Short Proofs for Classical Theorems.Kees Doets - 2001 - Notre Dame Journal of Formal Logic 42 (2):121-127.
Infinitary propositional normal modal logic.Slavian Radev - 1987 - Studia Logica 46 (4):291 - 309.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
Modal horn classes.Holger Sturm - 2000 - Studia Logica 64 (3):301-313.


Added to PP

14 (#1,013,076)

6 months
9 (#454,749)

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