scientific article; zbMATH DE number 3607998

MaRDI QIDQ4173344zbMATH OpenFDO

Authors Rohit Parikh

Publication date 1978

zbMATH Keywords

Completeness of Propositional Dynamic LogicModal Logic of Programs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65) Algorithms in computer science (68W99)

Cited in

(18)

• The semantics of Hoare's iteration rule
• An elementary proof of the completeness of PDL
• Application of modal logic to programming
• A complete logic for reasoning about programs via nonstandard model theory. I
• Modal companions of intermediate propositional logics
• Sequential method in propositional dynamic logic
• Mathematical modal logic: A view of its evolution
• Introspection as an action in relational models
• Performability of actions
• Learning in a changing world, an algebraic modal logical approach
• Aristotle, Boole, and categories
• scientific article; zbMATH DE number 3688675 (Why is no real title available?)
• Semantics of looping programs in Propositional Dynamic Logic
• A canonical model construction for iteration-free PDL with intersection
• Dynamic modal logic with counting: when reduction axioms work and fail
• Interpolation for converse PDL
• Reasoning about group responsibility for exceeding risk threshold in one-shot games
• A complete propositional dynamic logic for regular expressions with lookahead

This page was built for publication:

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