Memory propositional dynamic logic

MaRDI QIDQ5067947zbMATH OpenFDO

Authors Mario Benevides, Bruno Lopes

Publication date 4 April 2022

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Propositional dynamic logic for Petri nets
• Propositional dynamic logic for Petri nets with iteration
• scientific article; zbMATH DE number 4143953
• Towards reasoning about Petri nets: a propositional dynamic logic based approach
• Propositional dynamic logic with storing, recovering and parallel composition

Cited in

(1)

• Limitations of the program memory and the expressive power of dynamic logics

This page was built for publication: Memory propositional dynamic logic

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