scientific article; zbMATH DE number 868085
From MaRDI portal
Publication:4873968
zbMath0846.03004MaRDI QIDQ4873968
Michael Zakharyashchev, Alexander Chagrov
Publication date: 22 September 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
Related Items (2)
Elementary canonical formulae: extending Sahlqvist's theorem ⋮ Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA
This page was built for publication:
