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, 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, A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic, A short note on essentially \(\Sigma_1\) sentences, Bisimulations between generalized Veltman models and Veltman models