首页 | 本学科首页   官方微博 | 高级检索  
     


Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms
Authors:Hatano  Ryo  Sano  Katsuhiko
Affiliation: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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号