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

zbMATH Open1111.03017MaRDI QIDQ5483000FDOQ5483000

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
• Title not available (Why is no real title available?)
• Second-order quantifier elimination on relational monadic formulas -- a basic method and some less expected applications
• The bounded proof property via step algebras and step frames

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)