scientific article; zbMATH DE number 218496
From MaRDI portal
Publication:4694209
zbMath0794.03026MaRDI QIDQ4694209
Frank Veltman, Dick H. J. de Jongh
Publication date: 29 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (22)
Franco Montagna's work on provability logic and many-valued logic ⋮ A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic ⋮ A note on bisimulation and modal equivalence in provability logic and interpretability logic ⋮ Interpretability suprema in Peano arithmetic ⋮ Modal completeness of sublogics of the interpretability logic IL ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Theory and application of labelling techniques for interpretability logics ⋮ Bisimulations and bisimulation games between Verbrugge models ⋮ TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES ⋮ Modal information logics: axiomatizations and decidability ⋮ The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} ⋮ A short note on essentially \(\Sigma_1\) sentences ⋮ Bisimulations between generalized Veltman models and Veltman models ⋮ Explicit fixed points in interpretability logic ⋮ A note on the interpretability logic of finitely axiomatized theories ⋮ INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS ⋮ A generalized notion of weak interpretability and the corresponding modal logic ⋮ The logic of linear tolerance ⋮ The principles of interpretability ⋮ The logic of \(\Pi_ 1\)-conservativity ⋮ Interpretability in PRA ⋮ Some independence results in interpretability logic
This page was built for publication:
