Complexity of the interpretability logic IL

Logic Journal of the IGPL (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,252

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

Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
A note on semantics of the interpretability logic IL (KW1).Mladen Vukovic - 2003 - Bulletin of the Section of Logic 32 (3):109-115.
Hennessy–Milner theorem for interpretability logic.Mladen Vukovic - 2005 - Bulletin of the Section of Logic 34 (4):195-201.
Interpolation and the Interpretability Logic of PA.Evan Goris - 2006 - Notre Dame Journal of Formal Logic 47 (2):179-195.
The Principles of Interpretability.Mladen Vuković - 1999 - Notre Dame Journal of Formal Logic 40 (2):227-235.
Interpretability in.Marta Bílková, Dick de Jongh & Joost J. Joosten - 2010 - Annals of Pure and Applied Logic 161 (2):128-138.

Analytics

Added to PP
2018-06-16

Downloads
16 (#860,839)

6 months
6 (#448,852)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Complexity of the interpretability logics ILW and ILP.Luka Mikec - 2023 - Logic Journal of the IGPL 31 (1):194-213.

Add more citations

References found in this work

The Logic of Provability.Philip Scowcroft - 1995 - Philosophical Review 104 (4):627.
The Logic of Provability.Timothy Williamson - 1996 - Philosophical Quarterly 46 (182):110-116.
Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.

View all 6 references / Add more references