Propositional dynamic logic formula synthesis and some applications

DOI10.1007/978-3-031-89610-1_3MaRDI QIDQ6889863zbMATH OpenFDO

Authors Sophie Pinchinat

Publication date 4 December 2025

Full work available at URL https://doi.org/10.1007/978-3-031-89610-1_3

zbMATH Keywords

attack treeformal languageformula synthesis problemhierarchical planningpropositional dynamic logictree grammar

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites work

• Basics on tree automata
• Complexity results for HTN planning
• Handbook of model checking
• scientific article; zbMATH DE number 5599076 (Why is no real title available?)
• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• Model checking propositional dynamic logic with all extras
• Propositional dynamic logic of regular programs

This page was built for publication: Propositional dynamic logic formula synthesis and some applications

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