|
|||||
|
|
Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms |
|
| Authors: | Hatano Ryo Sano Katsuhiko |
| Institution: | 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... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |