EXPTIME Tableaux for the Coalgebraic mu-Calculus

DOI10.2168/LMCS-7(3:3)2011zbMath1237.03014arXiv1105.2246OpenAlexW3125989314MaRDI QIDQ3224669

Clemens Kupke, Dirk Pattinson, Corina Cîrstea

Publication date: 2 April 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

modal logiccoalgebra\(\mu\)-calculustableau-based decision procedures

Mathematics Subject Classification ID

Applications of game theory (91A80) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30) Mechanization of proofs and logical operations (03B35)

Related Items (7)

The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Coalgebraic logics \& duality ⋮ Predicate liftings and functor presentations in coalgebraic expression languages ⋮ Quasipolynomial computation of nested fixpoints ⋮ NP reasoning in the monotone \(\mu\)-calculus

This page was built for publication: EXPTIME Tableaux for the Coalgebraic mu-Calculus