scientific article; zbMATH DE number 868085

MaRDI QIDQ4873968zbMATH OpenFDO

Authors Alexander Vasil'evich Chagrov, Michael Zakharyaschev

Publication date 22 September 1996

zbMATH Keywords

axiomatizabilityextension of S4modal logicSahlqvist formulas

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45)

Recommendations

• An extension of Kracht's theorem to generalized Sahlqvist formulas
• scientific article; zbMATH DE number 2196605
• On Sahlqvist formulas in relevant logic
• Sahlqvist formulas in hybrid polyadic modal logics
• scientific article; zbMATH DE number 4123702

Cited in

(9)

• Elementary canonical formulae: extending Sahlqvist's theorem
• Every world can see a Sahlqvist world
• An extension of Kracht's theorem to generalized Sahlqvist formulas
• scientific article; zbMATH DE number 4123702 (Why is no real title available?)
• Derivation rules as anti-axioms in modal logic
• Completeness and correspondence in hybrid logic via an extension of SQEMA
• scientific article; zbMATH DE number 2196605 (Why is no real title available?)
• Relational and Kleene-Algebraic Methods in Computer Science
• On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae

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 Q4873968)