Reasoning about update logic

DOI10.1007/BF01052729zbMath0811.03025OpenAlexW1581244363MaRDI QIDQ1344850

Jan van Eijck, Fer-Jan de Vries

Publication date: 22 February 1995

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01052729

zbMATH Keywords

Hoare logicinformation processingupdate logicimperative programmingdynamic inferencelogic of information flow

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Knowledge representation (68T30) Logic in computer science (03B70) Natural language processing (68T50) Other applications of logic (03B80)

Related Items (4)

An update on epistemic modals ⋮ Presupposition failure - a comedy of errors ⋮ Automata for epistemic temporal logic with synchronous communication ⋮ A system of dynamic modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Language in action. Categories, lambdas and dynamic logic
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Dynamic interpretation and Hoare deduction
• Defaults in update semantics
• GENERAL DYNAMICS
• The modal logic of inequality
• Dynamic predicate logic
• Splittings and the finite model property
• An axiomatic basis for computer programming

This page was built for publication: Reasoning about update logic