Propositional dynamic logic for concurrent programs

DOI10.2977/PRIMS/1195184022zbMath0507.03006OpenAlexW2012712964MaRDI QIDQ1837178

Hirokazu Nishimura

Publication date: 1982

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2977/prims/1195184022

zbMATH Keywords

concurrent programsrelational semanticsdynamic logicGentzen-type axiomatization

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65)

Cites Work

• Descriptively complete process logic
• Arithmetical completeness in first-order dynamic logic for concurrent programs
• Sequential method in propositional dynamic logic
• A practical decision method for propositional dynamic logic (Preliminary Report)
• Unnamed Item

This page was built for publication: Propositional dynamic logic for concurrent programs