Expressive Power of Monadic Second-Order Logic and Modal μ-Calculus
From MaRDI portal
Publication:4412837
DOI10.1007/3-540-36387-4_14zbMath1021.03019OpenAlexW1482902840MaRDI QIDQ4412837
Publication date: 16 July 2003
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-36387-4_14
Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (1)
This page was built for publication: Expressive Power of Monadic Second-Order Logic and Modal μ-Calculus
