Switch to: References

Add citations

You must login to add citations.
  1. Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms.Ryo Hatano & Katsuhiko Sano - 2020 - Studia Logica 109 (1):95-124.
    The present contribution shows that a Hilbert-style axiomatization for dynamic logic of relation changers is complete for the standard Kripke semantics not by a well-known rewriting technique but by the idea of an auxiliary semantics studied by van Benthem and Wang et al. A key insight of our auxiliary semantics for dynamic logic of relation changers can be described as: “relation changers are bounded morphisms.” Moreover, we demonstrate that this semantic insight can be used to provide a modular cut-free labelled (...)
    Download  
     
    Export citation  
     
    Bookmark