Subsumption checking in conjunctive coalgebraic fixpoint logics

MaRDI QIDQ4636297zbMATH OpenFDO

Authors Daniel Gorín, Lutz Schröder

Publication date 23 April 2018

Full work available at URL https://arxiv.org/abs/1401.6359

zbMATH Keywords

convexityfixpointstractable reasoningmaterializers

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Recommendations

• EXPTIME Tableaux for the Coalgebraic μ-Calculus
• EXPTIME tableaux for the coalgebraic \(\mu\)-calculus
• Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics

Cited in

(1)

• Predicate liftings and functor presentations in coalgebraic expression languages

This page was built for publication: Subsumption checking in conjunctive coalgebraic fixpoint logics

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