Reasoning about update logic

DOI10.1007/BF01052729zbMATH Open0811.03025OpenAlexW1581244363MaRDI QIDQ1344850FDOQ1344850

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

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

Cites Work

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

Cited In (5)

• An update on epistemic modals
• A system of dynamic modal logic
• Automata for epistemic temporal logic with synchronous communication
• Presupposition failure - a comedy of errors
• Local reasoning about data update

This page was built for publication: Reasoning about update logic

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