Formal Language Constrained Reachability and Model Checking Propositional Dynamic Logics

DOI10.1007/978-3-642-24288-5_6zbMath1348.68090OpenAlexW132154402MaRDI QIDQ3172863

Roland Axelsson, Martin Lange

Publication date: 7 October 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24288-5_6

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Unnamed Item ⋮ Local higher-order fixpoint iteration

This page was built for publication: Formal Language Constrained Reachability and Model Checking Propositional Dynamic Logics