15 found
Order:
See also
Katsuhiko Sano
Kyoto University
  1.  28
    Generalizing Functional Completeness in Belnap-Dunn Logic.Hitoshi Omori & Katsuhiko Sano - 2015 - Studia Logica 103 (5):883-917.
    One of the problems we face in many-valued logic is the difficulty of capturing the intuitive meaning of the connectives introduced through truth tables. At the same time, however, some logics have nice ways to capture the intended meaning of connectives easily, such as four-valued logic studied by Belnap and Dunn. Inspired by Dunn’s discovery, we first describe a mechanical procedure, in expansions of Belnap-Dunn logic, to obtain truth conditions in terms of the behavior of the Truth and the False, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  2.  7
    The Expressive Power of Modal Dependence Logic.Lauri Hella, Kerkko Luosto, Katsuhiko Sano & Jonni Virtema - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 294-312.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  79
    Hybrid Counterfactual Logics.Katsuhiko Sano - 2009 - Journal of Logic, Language and Information 18 (4):515-539.
    The purpose of this paper is to argue that the hybrid formalism fits naturally in the context of David Lewis’s counterfactual logic and that its introduction into this framework is desirable. This hybridization enables us to regard the inference “The pig is Mary; Mary is pregnant; therefore the pig is pregnant” as a process of updating local information (which depends on the given situation) by using global information (independent of the situation). Our hybridization also has the following technical advantages: (i) (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  8
    Goldblatt-Thomason-Style Theorems for Graded Modal Language.Katsuhiko Sano & Minghui Ma - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 330-349.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  11
    Axiomatizing Hybrid Products.Katsuhiko Sano - 2010 - Journal of Applied Logic 8 (4):459-474.
  6.  31
    Hybrid Counterfactual Logics David Lewis Meets Arthur Prior Again.Katsuhiko Sano - 2009 - Journal of Logic, Language and Information 18 (4):515-539.
    The purpose of this paper is to argue that the hybrid formalism fits naturally in the context of David Lewis’s counterfactual logic and that its introduction into this framework is desirable. This hybridization enables us to regard the inference “The pig is Mary; Mary is pregnant; therefore the pig is pregnant” as a process of updating local information (which depends on the given situation) by using global information (independent of the situation). Our hybridization also has the following technical advantages: (i) (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  2
    Goldblatt-Thomason-Style Theorems for Graded Modal Language.Katsuhiko Sano & Minghui Ma - 2010 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 330-349.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  29
    Semantical Characterizations for Irreflexive and Generalized Modal Languages.Katsuhiko Sano & Kentaro Sato - 2007 - Notre Dame Journal of Formal Logic 48 (2):205-228.
    This paper deals with two main topics: One is a semantical investigation for a bimodal language with a modal operator \blacksquare associated with the intersection of the accessibility relation R and the inequality ≠. The other is a generalization of some of the former results to general extended languages with modal operators. First, for our language L\sb{\square\blacksquare}, we prove that Segerberg's theorem (equivalence between finite frame property and finite model property) fails and establish both van Benthem-style and Goldblatt-Thomason-style characterizations. We (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  10
    Recapturing Dynamic Logic of Relation Changers Via Bounded Morphisms.Ryo Hatano & Katsuhiko Sano - forthcoming - 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 technique but by the idea of an auxiliary semantics studied by van Benthem and Wang et al. A key insight of our auxiliary semantics for dynamic logic of relation changers can be described as: “relation changers are bounded morphisms.” Moreover, we demonstrate that this semantic insight can be used to provide a modular cut-free labelled (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  12
    Dynamic Epistemic Logic of Belief Change in Legal Judgments.Pimolluck Jirakunkanok, Katsuhiko Sano & Satoshi Tojo - 2018 - Artificial Intelligence and Law 26 (3):201-249.
    This study realizes belief/reliability change of a judge in a legal judgment by dynamic epistemic logic. A key feature of DEL is that possibilities in an agent’s belief can be represented by a Kripke model. This study addresses two difficulties in applying DEL to a legal case. First, since there are several methods for constructing a Kripke model, our question is how we can construct the model from a legal case. Second, since this study employs several dynamic operators, our question (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  9
    Sequent Calculi for Multi-Agent Epistemic Logics for Distributed Knowledge.Ryo Murai & Katsuhiko Sano - unknown
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  11
    Bimodal Logic with the Irreflxive Modality.Katsuhiko Sano & Yasuo Nakayama - 2007 - Journal of the Japan Association for Philosophy of Science 34 (1):1-10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  14
    Characterising Modal Definability of Team-Based Logics Via the Universal Modality.Katsuhiko Sano & Jonni Virtema - 2019 - Annals of Pure and Applied Logic 170 (9):1100-1127.
  14.  14
    Dynamic Epistemic Logic for Channel-Based Agent Communication.Katsuhiko Sano & Satoshi Tojo - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 109--120.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  7
    Cut-Free and Analytic Sequent Calculus of First-Order Intuitionistic Epistemic Logic.Youan Su & Katsuhiko Sano - unknown
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark