Three faces of recursion axioms: the case of constructive dynamic logic of relation changers von Hatano, Ryo, Sano, Katsuhiko

Volltext

A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic von Su, Youan, Sano, Katsuhiko

Volltext

Frame definability, canonicity and cut elimination in common sense modal predicate logics von Sawasaki, Takahiro, Sano, Katsuhiko

Volltext

Rely more or less, for better or for worse: Intertwining reliability and preferences von Ghosh, Sujata, Sano, Katsuhiko

Volltext

Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms von Hatano, Ryo, Sano, Katsuhiko

Volltext

Combining First-Order Classical and Intuitionistic Logic von Toyooka, Masanobu, Sano, Katsuhiko

Volltext

Generalizing Functional Completeness in Belnap-Dunn Logic von Omori, Hitoshi, Sano, Katsuhiko

Volltext

Dynamic Epistemic Logic for Channel-Based Agent Communication von Sano, Katsuhiko, Tojo, Satoshi

Volltext

Cultural Property Protection Applying Thermal Spray Sealing Agent Technology von SANO, Katsuhiko

Volltext

Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus von Sano, Katsuhiko

Volltext

Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics von Sano, Katsuhiko, Stell, John G.

Volltext

Acts of Commanding and Promising in Dynamified Common Sense Term-Sequence-Deontic-Alethic Logic von Sano, Katsuhiko, Yamada, Tomoyuki

Volltext

Biofilm Formation Plays a Crucial Rule in the Initial Step of Carbon Steel Corrosion in Air and Water Environments von Ogawa, Akiko, Takakura, Keito, Hirai, Nobumitsu, Kanematsu, Hideyuki, Kuroda, Daisuke, Kougo, Takeshi, Sano, Katsuhiko, Terada, Satoshi

Volltext

The development of the anti-biofouling coating agent using metal nanoparticles and analysis by Raman spectroscopy and FIB system von Sano, Katsuhiko, Kanematsu, Hideyuki, Hirai, Nobumitsu, Ogawa, Akiko, Kougo, Takeshi, Tanaka, Toshihiro

Volltext

Expressing discrete spatial relations under granularity von Sindoni, Giulia, Sano, Katsuhiko, Stell, John G.

Volltext

Characterizing Relative Frame Definability in Team Semantics via the Universal Modality von Sano, Katsuhiko, Virtema, Jonni

Volltext

Model Theory and Proof Theory of Coalgebraic Predicate Logic von Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder

Volltext

Intuitionistic Public Announcement Logic with Distributed Knowledge von Murai, Ryo, Sano, Katsuhiko

Volltext

Characterizing Frame Definability in Team Semantics via the Universal Modality von Sano, Katsuhiko, Virtema, Jonni

Volltext

Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation von Toyooka, Masanobu, Sano, Katsuhiko

Volltext