scientific article; zbMATH DE number 5046354
From MaRDI portal
Publication:5483000
zbMath1111.03017MaRDI QIDQ5483000
Willem Conradie, Valentin F. Goranko, Dimiter Vakarelov
Publication date: 15 August 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items
Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Unnamed Item ⋮ Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA ⋮ Elementary canonical formulae: extending Sahlqvist's theorem ⋮ The bounded proof property via step algebras and step frames ⋮ Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$
Uses Software
