Modal completeness of ILW

&
In Jelle Gerbrandy, Maarten Marx, Maarten de Rijke & Yde Venema (eds.), Essays Dedicated to Johan van Benthem on the Occasion of His 50th Birthday. Amsterdam University Press (1999)
  Copy   BIBTEX

Abstract

This paper contains a completeness proof for the system ILW, a rather bewildering axiom system belonging to the family of interpretability logics. We have treasured this little proof for a considerable time, keeping it just for ourselves. Johan’s ftieth birthday appears to be the right occasion to get it out of our wine cellar

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

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

Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.
Essays dedicated to Johan van Benthem on the occasion of his 50th birthday.Jelle Gerbrandy, Maarten Marx, Maarten de Rijke & Yde Venema (eds.) - 1999 - Amsterdam University Press.
The Discovery of E.W. Beth’s Semantics for Intuitionistic Logic.A. S. Troelstra & P. van Ulsen - 1999 - In J. Gerbrandy, M. Marx, M. de Rijke & Y. Venema (eds.), Jfak. Essays Dedicated to Johan van Benthem on the Occasion of His 50th Birthday. Vossiuspers, Amsterdam University Press.
The interpretability logic of all reasonable arithmetical theories.Joost J. Joosten & Albert Visser - 2000 - Erkenntnis 53 (1-2):3-26.
Interpretability logics and generalised Veltman semantics.Luka Mikec & Mladen Vuković - 2020 - Journal of Symbolic Logic 85 (2):749-772.
Odds and Ends: Philosophical Essays Dedicated to Wlodek Rabinowicz on the occasion of his 50th birthday.R. Sliwinski and J. Österberg S. Lindström (ed.) - 1997
Modal completeness of sublogics of the interpretability logic IL.Taishi Kurahashi & Yuya Okawa - 2021 - Mathematical Logic Quarterly 67 (2):164-185.
ISILC Proof Theory Symposion: dedicated to Kurt Schütte on the occasion of his 65th birthday: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974.K. Schütte, Justus Diller & G. H. Müller (eds.) - 1975 - New York: Springer Verlag.
Observational Concomitance.Paul Needham - 1996 - In R. Sliwinski and J. Österberg S. Lindström (ed.), Odds and Ends: Philosophical Essays Dedicated to Wlodek Rabinowicz on the occasion of his 50th birthday. Uppsala,: pp. 285-298.
Action, logic, and social theory: dedicated to Ingmar Pörn on the occasion of his 50th birthday.Ghita Holmström-Hintikka, Andrew J. I. Jones & Ingmar Pörn (eds.) - 1985 - Helsinki: Akateeminen kirjakauppa.

Analytics

Added to PP
2009-01-28

Downloads
201 (#103,253)

6 months
6 (#587,779)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Frank Veltman
University of Amsterdam

Citations of this work

Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.
Self provers and Σ1 sentences.Evan Goris & Joost Joosten - 2012 - Logic Journal of the IGPL 20 (1):1-21.
Interpretability in.Marta Bílková, Dick de Jongh & Joost J. Joosten - 2010 - Annals of Pure and Applied Logic 161 (2):128-138.

Add more citations

References found in this work

The interpretability logic of peano arithmetic.Alessandro Berarducci - 1990 - Journal of Symbolic Logic 55 (3):1059-1089.
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.
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.

Add more references