Disjunctive bases: normal forms for modal logics

DOI10.4230/LIPICS.CALCO.2017.11MaRDI QIDQ4580206zbMATH OpenFDO

Authors Sebastian Enqvist, Yde Venema

Publication date 13 August 2018

Full work available at URL https://doi.org/10.4230/LIPICS.CALCO.2017.11

zbMATH Keywords

automatacoalgebrafixpoint logicgraded modal logicLyndon theoremmodal logicuniform interpolation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Formal languages and automata (68Q45) Knowledge representation (68T30)

Recommendations

• Disjunctive bases: normal forms and model theory for modal logics
• Completeness for \(\mu\)-calculi: a coalgebraic approach
• Free Modal Algebras: A Coalgebraic Perspective
• Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
• scientific article; zbMATH DE number 1497872

Cited in

(4)

• Completeness for \(\mu\)-calculi: a coalgebraic approach
• Disjunction in modal description logics
• Disjunctive bases: normal forms and model theory for modal logics
• Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)

This page was built for publication: Disjunctive bases: normal forms for modal logics

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