scientific article; zbMATH DE number 1735886

MaRDI QIDQ4329247zbMATH OpenFDO

Authors Yde Venema

Publication date 25 September 2002

zbMATH Keywords

canonical formulasmodal logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 757642
• Elementary canonical formulae: a survey on syntactic, algorithmic, and model-theoretic aspects
• Elementary canonical formulae: extending Sahlqvist's theorem
• scientific article; zbMATH DE number 2070195
• scientific article; zbMATH DE number 2149469

Cited in

(13)

• Almost semi-correspondence
• Duality for double quasioperator algebras via their canonical extensions
• Elementary canonical formulae: extending Sahlqvist's theorem
• Quasi-modal equivalence of canonical structures
• scientific article; zbMATH DE number 1215474 (Why is no real title available?)
• scientific article; zbMATH DE number 2070195 (Why is no real title available?)
• scientific article; zbMATH DE number 757642 (Why is no real title available?)
• A dichotomy for some elementarily generated modal logics
• Pseudo-canonical formulae are classical
• Canonical varieties with no canonical axiomatisation
• Elementary canonical formulae: a survey on syntactic, algorithmic, and model-theoretic aspects
• Modal reduction principles across relational semantics
• Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations

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