scientific article; zbMATH DE number 1989654

MaRDI QIDQ4430401zbMATH OpenFDO

Authors Valentin Goranko, Dimiter Vakarelov

Publication date 9 October 2003

zbMATH Keywords

modal logicShalqvist formulas

Mathematics Subject Classification ID

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

Recommendations

• Sahlqvist formulas in hybrid polyadic modal logics
• An extension of Kracht's theorem to generalized Sahlqvist formulas
• scientific article; zbMATH DE number 2196605
• Elementary canonical formulae: extending Sahlqvist's theorem
• A Sahlqvist theorem for distributive modal logic

Cited in

(10)

• 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}
• Sahlqvist formulas in hybrid polyadic modal logics
• An extension of Kracht's theorem to generalized Sahlqvist formulas
• Algorithmic correspondence and canonicity for distributive modal logic
• Sahlqvist theorem for modal fixed point logic
• Sahlqvist via translation
• Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$
• scientific article; zbMATH DE number 2196605 (Why is no real title available?)
• Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4430401)