Recapturing dynamic logic of relation changers via bounded morphisms

DOI10.1007/s11225-020-09902-5OpenAlexW3013656853MaRDI QIDQ2021560

Katsuhiko Sano, Ryo Hatano

Publication date: 27 April 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-020-09902-5

zbMATH Keywords

dynamic epistemic logiccomplete axiomatizationlabelled sequent calculusbounded morphismsrelation changers

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Arbitrary arrow update logic
• Refinement modal logic
• On axiomatizations of public announcement logic
• Reasoning about preference dynamics.
• Proof analysis in modal logic
• Merging frameworks for interaction
• Reasoning about information change
• Default logic as dynamic doxastic logic
• Internalization: The Case of Hybrid Logics
• Tableaux for Non-normal Public Announcement Logic
• ARROW UPDATE LOGIC
• Tableaux for Public Announcement Logic
• Algebraic Semantics for Dynamic Dynamic Logic
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic of preference upgrade
• Logics without the contraction rule
• A general framework for dynamic epistemic logic: towards canonical correspondences
• Modal logics of sabotage revisited
• Belief Revision From the Point of View of Doxastic Logic
• Two Logical Faces of Belief Revision
• Revising a Labelled Sequent Calculus for Public Announcement Logic
• Acts of Commanding and Changing Obligations
• Mechanizing Mathematical Reasoning

This page was built for publication: Recapturing dynamic logic of relation changers via bounded morphisms