scientific article
From MaRDI portal
Publication:2785600
zbMath0871.03043MaRDI QIDQ2785600
Publication date: 29 September 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Modal completeness of sublogics of the interpretability logic IL ⋮ Bisimulations between generalized Veltman models and Veltman models ⋮ The principles of interpretability
This page was built for publication: