scientific article; zbMATH DE number 3607998

zbMath0392.03017MaRDI QIDQ4173344

Rohit Parikh

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items

The semantics of Hoare's iteration rule, Unnamed Item, Dynamic modal logic with counting: when reduction axioms work and fail, 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, Unnamed Item, Mathematical modal logic: A view of its evolution, Aristotle, Boole, and Categories, Modal companions of intermediate propositional logics, Introspection as an action in relational models, Learning in a Changing World, an Algebraic Modal Logical Approach, Sequential method in propositional dynamic logic, Performability of actions, Semantics of looping programs in Propositional Dynamic Logic