Formula size games for modal logic and μ-calculus

DOI10.1093/logcom/exz025zbMath1444.03059arXiv1912.08715OpenAlexW2996136717MaRDI QIDQ5216339

Miikka Vilander, Lauri Hella

Publication date: 17 February 2020

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

modal logicmodal \(\mu\)-calculussuccinctnessbisimulation invariant first-order logicformula size game

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (3)

Expressive power and succinctness of the positive calculus of binary relations ⋮ Unnamed Item ⋮ Bounded game-theoretic semantics for modal mu-calculus

This page was built for publication: Formula size games for modal logic and μ-calculus