scientific article; zbMATH DE number 2196605
From MaRDI portal
Publication:5311052
zbMath1081.03018MaRDI QIDQ5311052
Publication date: 22 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Algebraic modal correspondence: Sahlqvist and beyond ⋮ The succinctness of the cover modality ⋮ Algorithmic correspondence and canonicity for distributive modal logic ⋮ Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA ⋮ A dichotomy for some elementarily generated modal logics ⋮ Elementary canonical formulae: extending Sahlqvist's theorem
This page was built for publication:
