Ockhamist propositional dynamic logic: a natural link between PDL and CTL*

DOI10.1007/978-3-642-39992-3_22zbMATH Open1394.03049OpenAlexW1727610209MaRDI QIDQ2849436FDOQ2849436

Authors: Philippe Balbiani, Emiliano Lorini 

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

Recommendations

• Decidability and expressivity of Ockhamist propositional dynamic logics
• Dynamic logic of propositional assignments: a well-behaved variant of PDL
• A practical decision method for propositional dynamic logic (preliminary report)
• On combinations of propositional dynamic logic and doxastic modal logics
• Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL

Mathematics Subject Classification ID

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

Cited In (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*

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849436)