Disjunctive bases: normal forms for modal logics

DOI10.4230/LIPICS.CALCO.2017.11zbMATH Open1433.68427MaRDI QIDQ4580206FDOQ4580206

Yde Venema, Sebastian Enqvist

Publication date: 13 August 2018

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

zbMATH Keywords

automatacoalgebramodal logicuniform interpolationfixpoint logicgraded modal logicLyndon theorem

Mathematics Subject Classification ID

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

Cited In (2)

• Completeness for \(\mu\)-calculi: a coalgebraic approach
• Disjunction in modal description logics

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)