Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL*

DOI10.1007/978-3-642-39992-3_22zbMath1394.03049OpenAlexW1727610209MaRDI QIDQ2849436

Emiliano Lorini, Philippe Balbiani

Publication date: 17 September 2013

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39992-3_22

Mathematics Subject Classification ID

Logic in computer science (03B70) Temporal logic (03B44)

Related Items (1)

Decidability and Expressivity of Ockhamist Propositional Dynamic Logics

This page was built for publication: Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL*