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

DOI10.1007/978-3-642-39992-3_22MaRDI QIDQ2849436zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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)