Publication:4694209
From MaRDI portal
zbMath0794.03026MaRDI QIDQ4694209
Frank Veltman, Dick H. J. de Jongh
Publication date: 29 June 1993
Related Items
The principles of interpretability, Franco Montagna's work on provability logic and many-valued logic, A note on bisimulation and modal equivalence in provability logic and interpretability logic, A generalized notion of weak interpretability and the corresponding modal logic, The logic of \(\Pi_ 1\)-conservativity, Some independence results in interpretability logic, Interpretability in PRA, Explicit fixed points in interpretability logic, A note on the interpretability logic of finitely axiomatized theories, The logic of linear tolerance, Lewis meets Brouwer: constructive strict implication, A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic, A short note on essentially \(\Sigma_1\) sentences, Interpretability suprema in Peano arithmetic, Bisimulations between generalized Veltman models and Veltman models