Application of modal logic to programming

DOI10.1007/BF00370324zbMath0457.03013MaRDI QIDQ1150592

Vaughan R. Pratt

Publication date: 1980

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

logic of actionpossible worldcalculus of binary relationsbehavior of computer programsstate of a machine

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (16)

Modal operators on pseudo-BE algebras ⋮ Uniform and non uniform strategies for tableaux calculi for modal logics ⋮ On K-modal BL-logics ⋮ Logics for actor networks: a two-stage constrained-hybridisation approach ⋮ Mathematical modal logic: A view of its evolution ⋮ 3-SAT = SAT for a class of normal modal logics ⋮ Dynamic algebras: Examples, constructions, applications ⋮ Multimodal Separation Logic for Reasoning About Operational Semantics ⋮ Dual choice and iteration in an abstract algebra of action ⋮ Getting started: Beginnings in the logic of action ⋮ Tableaux for constructive concurrent dynamic logic ⋮ Kripke semantics for knowledge representation logics ⋮ \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments ⋮ Constructive modal logics. I ⋮ On qualitative route descriptions. Representation, agent models, and computational complexity ⋮ Effective semantics for the modal logics K and KT via non-deterministic matrices

Uses Software

• Lucid

Cites Work

• Lucid, a nonprocedural language with iteration
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• A practical decision method for propositional dynamic logic (Preliminary Report)
• An axiomatic basis for computer programming
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Application of modal logic to programming