Zobrazeno 1 - 10
of 90
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
Autor:
Akiko Ogawa, Keito Takakura, Nobumitsu Hirai, Hideyuki Kanematsu, Daisuke Kuroda, Takeshi Kougo, Katsuhiko Sano, Satoshi Terada
Publikováno v:
Materials, Vol 13, Iss 4, p 923 (2020)
In this study, we examined the relationship between the effect of a zinc coating on protecting carbon steel against biofilm formation in both air and water environments. SS400 carbon steel coupons were covered with a zinc thermal spray coating or cop
Externí odkaz:
https://doaj.org/article/238af777fa0e4e509cb9746269d741ef
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