Zobrazeno 1 - 10
of 85
pro vyhledávání: '"Katsuhiko Sano"'
Autor:
Katsuhiko Sano, John G. Stell
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 243, Iss Proc. M4M9 2017, Pp 105-121 (2017)
Bi-Intuitionistic Stable Tense Logics (BIST Logics) are tense logics with a Kripke semantics where worlds in a frame are equipped with a pre-order as well as with an accessibility relation which is 'stable' with respect to this pre-order. BIST logics
Externí odkaz:
https://doaj.org/article/90711e1bbcf641b0b3997e9d5d4f8769
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 1 (2018)
We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras. We discuss axiomatization and completenes
Externí odkaz:
https://doaj.org/article/84adfe63fa704e878d1104a4aa693d40
Autor:
Akiko Ogawa, Keito Takakura, Katsuhiko Sano, Hideyuki Kanematsu, Takehiko Yamano, Toshikazu Saishin, Satoshi Terada
Publikováno v:
Antibiotics, Vol 7, Iss 4, p 91 (2018)
Previously, we demonstrated that silver nanoparticle-dispersed silane-based coating could inhibit biofilm formation in conditions where seawater was used as a bacterial source and circulated in a closed laboratory biofilm reactor. However, it is stil
Externí odkaz:
https://doaj.org/article/41d99e1531f14b98a8821c0409175508
Autor:
Youan Su, Katsuhiko Sano
Publikováno v:
Studia Logica.
Autor:
Katsuhiko Sano, Tomoyuki Yamada
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031258930
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::634c555050a5659c24eba64f0d103a83
https://doi.org/10.1007/978-3-031-25894-7_6
https://doi.org/10.1007/978-3-031-25894-7_6
Autor:
Katsuhiko Sano, Sujata Ghosh
Publikováno v:
Journal of Logic and Computation. 32:518-553
Dealing with preferences is a ubiquitous part of our daily lives, and thus, preference forms an integral part of our daily decision-making processes. If we consider preferences among groups of agents, deliberation often leads to changes in preference
Autor:
Masanobu Toyooka, Katsuhiko Sano
Publikováno v:
Australasian Journal of Logic; 2023, Vol. 20 Issue 3, p397-411, 15p
Autor:
Ryo Murai, Katsuhiko Sano
Publikováno v:
Computación y Sistemas. 26
Autor:
Ryo Hatano, Katsuhiko Sano
Publikováno v:
Journal of Logic and Computation.
This paper proposes an intuitionistic generalization of van Benthem and Liu’s dynamic logic of relation changers, where relation changers are dynamic operators that rewrite each agent’s accessibility relation. We employ Nishimura’s Kripke seman
Autor:
Takahiro Sawasaki, Katsuhiko Sano
Publikováno v:
Journal of Logic and Computation. 31:1933-1958
The paper presents semantically complete Hilbert-style systems for some variants of common sense modal predicate logic proposed by van Benthem and further developed by Seligman. The paper also investigates frame definability in the logics and shows w