Modal Matters for Interpretability Logics

Logic Journal of the IGPL 16 (4):371-412 (2008)
  Copy   BIBTEX

Abstract

This paper is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the fundaments are laid for later results. These fundaments consist of a thorough treatment of a construction method to obtain modal models. This construction method is used to reprove some known results in the area of interpretability like the modal completeness of the logic IL. Next, the method is applied to obtain new results: the modal completeness of the logic ILMo, and modal completeness of ILW*

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

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

Self provers and Σ1 sentences.Evan Goris & Joost Joosten - 2012 - Logic Journal of the IGPL 20 (1):1-21.
On Some Completeness Theorems in Modal Logic.D. Makinson - 1966 - Mathematical Logic Quarterly 12 (1):379-384.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Finite models constructed from canonical formulas.Lawrence S. Moss - 2007 - Journal of Philosophical Logic 36 (6):605 - 640.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté, Advances in Modal Logic, Volume 11. CSLI Publications. pp. 288-301.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.

Analytics

Added to PP
2015-02-04

Downloads
39 (#605,689)

6 months
3 (#1,061,821)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joost Joosten
Universitat de Barcelona

Citations of this work

Filtrations of generalized Veltman models.Tin Perkov & Mladen Vuković - 2016 - Mathematical Logic Quarterly 62 (4-5):412-419.
Transductions in arithmetic.Albert Visser - 2016 - Annals of Pure and Applied Logic 167 (3):211-234.
Self provers and Σ1 sentences.Evan Goris & Joost Joosten - 2012 - Logic Journal of the IGPL 20 (1):1-21.

View all 9 citations / Add more citations

References found in this work

Cuts, consistency statements and interpretations.Pavel Pudlák - 1985 - Journal of Symbolic Logic 50 (2):423-441.
The interpretability logic of peano arithmetic.Alessandro Berarducci - 1990 - Journal of Symbolic Logic 55 (3):1059-1089.
The formalization of interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.
An Overview of Interpretability Logic.Albert Visser - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 307-359.

View all 17 references / Add more references