Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic

DOI10.1007/978-3-662-44602-7_8zbMath1417.68058OpenAlexW2216181672MaRDI QIDQ3190153

Martin Lange, Etienne Lozes

Publication date: 15 September 2014

Published in: Advanced Information Systems Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44602-7_8

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Descriptive complexity and finite models (68Q19)

Related Items (2)

Unnamed Item ⋮ The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic

This page was built for publication: Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic