1.Faculty of Science and Technology, Tokyo University of Science, 2641 Yamazaki, Noda, Chiba, Japan ;2.Faculty of Humanities and Human Sciences, Hokkaido University, Nishi 7 Chome, Kita 10 Jo, Kita-ku, Sapporo, Hokkaido, Japan ;
Abstract:
Studia Logica - 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...