Elementary canonical formulae: a survey on syntactic, algorithmic, and model-theoretic aspects

MaRDI QIDQ5483000zbMATH OpenFDO

Authors Willem Conradie, Valentin Goranko, Dimiter Vakarelov

Publication date 15 August 2006

zbMATH Keywords

surveymodal logicKripke frameelementary canonical formulae

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 1735886
• scientific article; zbMATH DE number 757642
• Elementary canonical formulae: extending Sahlqvist's theorem
• A dichotomy for some elementarily generated modal logics
• scientific article; zbMATH DE number 2149469

Cited in

(9)

• Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
• Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Algebraic modal correspondence: Sahlqvist and beyond
• Elementary canonical formulae: extending Sahlqvist's theorem
• Deterministic SQEMA and application for pre-contact logic
• The bounded proof property via step algebras and step frames
• Second-order quantifier elimination on relational monadic formulas -- a basic method and some less expected applications
• scientific article; zbMATH DE number 1735886 (Why is no real title available?)

Describes a project that uses

Uses Software

• SQEMA

This page was built for publication: Elementary canonical formulae: a survey on syntactic, algorithmic, and model-theoretic aspects

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