Frame problem in dynamic logic

DOI10.3166/JANCL.15.215-239MaRDI QIDQ3647228zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1890619
• scientific article; zbMATH DE number 2084384
• Frame correspondences in modal predicate logic
• A first-order logic with frames
• The relationship between separation logic and implicit dynamic frames
• The relationship between separation logic and implicit dynamic frames
• Recursive logic frames
• Frame based formulas for intermediate logics

Cites work

• A logic-based calculus of events
• First-order dynamic logic
• Formalizing action and change in modal logic I: the frame problem
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 774417 (Why is no real title available?)
• Nonmonotonic logic and temporal projection
• Nonmonotonic reasoning in the framework of situation calculus
• Ramification and causality
• Reasoning about action and change. A dynamic logic approach
• Representing action and change by logic programs
• State Constraints Revisited

Cited in

(8)

• Reasoning about action and change. A dynamic logic approach
• t-DeLP: an argumentation-based temporal defeasible logic programming framework
• A semantics for means-end relations
• scientific article; zbMATH DE number 1664923 (Why is no real title available?)
• scientific article; zbMATH DE number 1989652 (Why is no real title available?)
• scientific article; zbMATH DE number 2084384 (Why is no real title available?)
• scientific article; zbMATH DE number 1931673 (Why is no real title available?)
• scientific article; zbMATH DE number 1890619 (Why is no real title available?)

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

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