A dynamic logic of action

DOI10.1007/BF01053245zbMath0810.03015MaRDI QIDQ1337608

Brigitte Penther

Publication date: 10 November 1994

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

extensions of propositional dynamic logiclogics for reasoning about action typesparallel performances

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Action and ability
• Bringing it about
• On the logic of ability
• Axiomatising the logic of computer programming
• Determinism and non-determinism in PDL
• Meeting of the association for symbolic logic
• Concurrent dynamic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A dynamic logic of action