Interpretability logic (1990)

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

Documents Related by Co-Citation

20 Provability logics for relative interpretability – D H J de Jongh, F Veltman
63 Self-Reference and Modal Logic – C Smorynski - 1985
16 The interpretability logic of Peano arithmetic – Alessandro Berarducci, Alessandro Berarducci, To Silvia - 1990
113 The Logic of Provability – George Boolos - 1993
14 Jongh, The logic of provability – G Japaridze, D de - 1998
9 The Interpretability Logic of all Reasonable Arithmetical Theories – Joost J. Joosten, Albert Visser - 1999
54 Provability interpretations of modal logic – R M Solovay - 1976
11 The formalization of interpretability – A Visser - 1991
28 consistency statements, and interpretations – Cuts - 1985
21 The Logic of Provability – Giorgi Japaridze, Dick De Jongh - 1997
8 On the provability logic of bounded arithmetic – A Berarducci, R Verbrugge - 1993
10 The logic of relative interpretability over Peano arithmetic (in Russian – Shavrukov - 1988
13 A lattice of chapters of mathematics (interpretations between theorems – J Mycielski, P Pudlák, A S Stern - 1990
452 Model Theory – C C Chang, H J Keisler - 1973
6 Faith & Falsity: a study of faithful interpretations and false Σ 0 1-sentences – Albert Visser - 2002
7 Explicit fixed points in interpretability logic – D H J de Jongh, A Visser - 1991
56 The incompleteness theorems – C Smorynski - 1977
121 Bounded Arithmetic, Bibliopolis – S R Buss - 1986
5 Efficient metamathematics. ILLC-disseration series 1993-3 – L C Verbrugge - 1993