Frame problem in dynamic logic

DOI10.3166/jancl.15.215-239zbMath1185.03059OpenAlexW2053821967MaRDI QIDQ3647228

Dong-Mo Zhang, Norman Y. Foo

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.15.215-239

zbMATH Keywords

dynamic logicframe problemreasoning about action

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

A semantics for means-end relations ⋮ t-DeLP: an argumentation-based temporal defeasible logic programming framework

Cites Work

• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• Nonmonotonic logic and temporal projection
• Nonmonotonic reasoning in the framework of situation calculus
• First-order dynamic logic
• Ramification and causality
• Reasoning about action and change. A dynamic logic approach
• Representing action and change by logic programs
• State Constraints Revisited
• Formalizing action and change in modal logic I: the frame problem

This page was built for publication: Frame problem in dynamic logic