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
111 The Logic of Provability – G Boolos - 1993
62 Self-Reference and Modal Logic – C Smorynski - 1985
16 The interpretability logic of Peano arithmetic – Alessandro Berarducci, Alessandro Berarducci, To Silvia - 1990
451 H.: Model Theory – C Chang, Keisler - 1990
442 Extending Modal Logic – M De Rijke - 1993
540 Model Theory – Wilfrid Hodges - 2000
1046 The knowledge complexity of interactive proof systems – Shafi Goldwasser, Silvio Micali, Charles Rackoff - 1985
599 A Mathematical Introduction to Logic – H B Enderton - 1972