Recapturing dynamic logic of relation changers via bounded morphisms
type: Item
instance of: scholarly article
title: Recapturing dynamic logic of relation changers via bounded morphisms
author: Ryo Hatano
author: Katsuhiko Sano
published in: Studia Logica
publication date: 2021-04-27T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7339951
zbMATH Keywords: dynamic epistemic logic
zbMATH Keywords: relation changers
zbMATH Keywords: bounded morphisms
zbMATH Keywords: complete axiomatization
zbMATH Keywords: labelled sequent calculus
describes a project that uses: Pesca
MaRDI profile type: Publication
full work available at URL: s11225-020-09902-5
OpenAlex ID: W3013656853
cites work: Modal logics of sabotage revisited
cites work: Tableaux for Public Announcement Logic
cites work: Modal logic
cites work: Refinement modal logic
cites work: Reasoning about information change
cites work: Q5419882
cites work: Q4525781
cites work: ARROW UPDATE LOGIC
cites work: Reasoning about preference dynamics.
cites work: Tableaux for Non-normal Public Announcement Logic
cites work: Algebraic Semantics for Dynamic Dynamic Logic
cites work: Q4982512
cites work: A general framework for dynamic epistemic logic: towards canonical correspondences
cites work: Proof analysis in modal logic
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Revising a Labelled Sequent Calculus for Public Announcement Logic
cites work: Logics without the contraction rule
cites work: Q4068699
cites work: Belief Revision From the Point of View of Doxastic Logic
cites work: Default logic as dynamic doxastic logic
cites work: Internalization: The case of hybrid logics
cites work: Q4499084
cites work: Mechanizing Mathematical Reasoning
cites work: Q3003825
cites work: Two Logical Faces of Belief Revision
cites work: Merging frameworks for interaction
cites work: Dynamic logic of preference upgrade
cites work: Arbitrary arrow update logic
cites work: Dynamic Epistemic Logic and Knowledge Puzzles
cites work: On axiomatizations of public announcement logic
cites work: Acts of Commanding and Changing Obligations
DOI: 10.1007/S11225-020-09902-5
description: scientific article; zbMATH DE number 7339951