An Overview of Interpretability Logic

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 307-359 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

  • This entry has no external links. Add one.
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

An Overview of Interpretability Logic.Albert Visser - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 307-359.
A cut-free sequent system for the smallest interpretability logic.Katsumi Sasaki - 2002 - Studia Logica 70 (3):353-372.
Interpolation, Definability and Fixed Points in Interpretability Logics.Carlos Areces, Eva Hoogland & Dick de Jongh - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 53-76.
Interpolation, Definability and Fixed Points in Interpretability Logics.Carlos Areces, Eva Hoogland & Dick de Jongh - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 53-76.
Completeness and incompleteness in first-order modal logic: an overview.Valentin Shehtman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 27-30.
Completeness and incompleteness in first-order modal logic: an overview.Valentin Shehtman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 27-30.
Modal completeness of sublogics of the interpretability logic IL.Taishi Kurahashi & Yuya Okawa - 2021 - Mathematical Logic Quarterly 67 (2):164-185.
Review: Albert Visser, A Course on Bimodal Provability Logic. [REVIEW]Franco Montagna - 1997 - Journal of Symbolic Logic 62 (2):686-687.
A note on the interpretability logic of finitely axiomatized theories.Maarten Rijke - 1991 - Studia Logica 50 (2):241 - 250.
Preservativity logic: An analogue of interpretability logic for constructive theories: An analogue of interpretability logic for constructive theories.Rosalie Iemhoff - 2003 - Mathematical Logic Quarterly 49 (3):230.

Analytics

Added to PP
2018-02-17

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

Some Notes on Truths and Comprehension.Thomas Schindler - 2018 - Journal of Philosophical Logic 47 (3):449-479.
Pairs, sets and sequences in first-order theories.Albert Visser - 2008 - Archive for Mathematical Logic 47 (4):299-326.
Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.

View all 16 citations / Add more citations

References found in this work

No references found.

Add more references