Reasoning about update logic
From MaRDI portal
Publication:1344850
DOI10.1007/BF01052729zbMath0811.03025MaRDI 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
Hoare logic; information processing; update logic; imperative programming; dynamic inference; logic of information flow
03B45: Modal logic (including the logic of norms)
03B65: Logic of natural languages
68T30: Knowledge representation
03B70: Logic in computer science
68T50: Natural language processing
03B80: Other applications of logic
Related Items
An update on epistemic modals, Automata for epistemic temporal logic with synchronous communication, A system of dynamic modal logic, Presupposition failure - a comedy of errors
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