Fibring Modal First-Order Logics: Completeness Preservation

Logic Journal of the IGPL 10 (4):413-451 (2002)
  Copy   BIBTEX


Fibring is defined as a mechanism for combining logics with a first-order base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of such logics, using a variation of the Henkin method that takes advantage of the presence of equality and inequality in the logic. As a corollary, completeness is shown to be preserved when fibring logics in that class. A modal first-order logic is obtained as a fibring where neither the Barcan formula nor its converse hold



    Upload a copy of this work     Papers currently archived: 84,292

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

Some Kinds of Modal Completeness.J. F. A. K. van Benthem - 1980 - Studia Logica 39 (2):125-141.
Some kinds of modal completeness.J. F. A. K. Benthem - 1980 - Studia Logica 39 (2-3):125 - 141.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Fibring in the Leibniz Hierarchy.Victor Fernández & Marcelo Coniglio - 2007 - Logic Journal of the IGPL 15 (5-6):475-501.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.


Added to PP

13 (#806,935)

6 months
1 (#510,180)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Combining logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references