Interpretability logic (1990)

by Albert Visser
Venue:Mathematical Logic, Proceedings of the 1988 Heyting Conference
Citations:32 - 9 self

Active Bibliography

9 The Interpretability Logic of all Reasonable Arithmetical Theories – Joost J. Joosten, Albert Visser - 1999
1 Problems in the Logic of Provability – Lev D. Beklemishev, Albert Visser - 2005
THE ARITHMETICS OF A THEORY – Albert Visser
WHAT IS THE RIGHT NOTION OF SEQUENTIALITY? – Albert Visser
Supremum in the Lattice of Interpretability – Paula Henk - 2012
4 E.: Modal Matters in Interpretability Logics – Evan Goris, Joost J. Joosten - 2004
Logic Group 'reprint Series – V. Yu. Shavrukov, V. Yu. Shavrukov - 1995
3584 CS Utrecht The NetherlandsPRELIMINARY NOTES ON INTERPRETABILITY LOGIC. – Uepaabffent O Phleo. Ophy, Atbeat V Sserc, Albert Visser - 1988
INTERPRETABILITY IN ROBINSON’S Q – Fernando Ferreira, Gilda Ferreira
5 Can we make the Second Incompleteness Theorem coordinate free? – Albert Visser
Interpretability in PRA – Marta Bílková, D. de Jongh, Joost J. Joosten - 2008
1 No Escape from Vardanyan’s Theorem – Albert Visser - 2003
Extending ILM with an operator for Σ_1-ness – Evan Goris - 2003
1 Parameter Free Induction and Reflection – Lev D. Beklemishev, Schemata I \sigma - 1996
CONCATENATION AS A BASIS FOR Q AND THE INTUITIONISTIC VARIANT OF NELSON’S CLASSIC RESULT – Rachel Sterken - 2008
Interpretability over Peano arithmetic – Claes Strannegård
2 The Predicative Frege Hierarchy – Albert Visser - 2006
16 The interpretability logic of Peano arithmetic – Alessandro Berarducci, Alessandro Berarducci, To Silvia - 1990
1 Undecidability in diagonalizable algebras – V. Yu. Shavrukov