scientific article; zbMATH DE number 1989654

zbMath1031.03027MaRDI QIDQ4430401

Dimiter Vakarelov, Valentin F. Goranko

Publication date: 9 October 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicShalqvist formulas

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

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, Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}, Elementary canonical formulae: extending Sahlqvist's theorem, Unnamed Item, Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$