Publication:4430401
From MaRDI portal
zbMath1031.03027MaRDI QIDQ4430401
Dimiter Vakarelov, Valentin F. Goranko
Publication date: 9 October 2003
03B45: Modal logic (including the logic of norms)
Related Items
Unnamed Item, Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$, Algorithmic correspondence and canonicity for distributive modal logic, Sahlqvist theorem for modal fixed point logic, Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA, Elementary canonical formulae: extending Sahlqvist's theorem, Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}