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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

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

Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics von 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

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

Volltext

Characterising modal definability of team-based logics via the universal modality von Sano, Katsuhiko, Virtema, Jonni

Volltext

How to update neighbourhood models von Ma, Minghui, Sano, Katsuhiko

Volltext

Hybrid Logic of the Hide and Seek Game von Sano, Katsuhiko, Liu, Fenrong, Li, Dazhu

Volltext

Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic? von Sano, Katsuhiko

Volltext

Dynamic epistemic logic of belief change in legal judgments von Jirakunkanok, Pimolluck, Sano, Katsuhiko, Tojo, Satoshi

Volltext

First-Order Intuitionistic Epistemic Logic von Su, Youan, Sano, Katsuhiko

Volltext

Hybrid Counterfactual Logics: David Lewis Meets Arthur Prior Again von Sano, Katsuhiko

Volltext

スクールユニフォームの意義と役割～歴史に見る制服の消長とこれから von SANO, Katsuhiko

Volltext