19 found
Order:
See also
Katsuhiko Sano
Hokkaido University
  1.  56
    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   21 citations  
  2.  23
    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.  24
    Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation.Masanobu Toyooka & Katsuhiko Sano - forthcoming - Studia Logica:1-31.
    This paper studies a combined system of intuitionistic and classical propositional logic from proof-theoretic viewpoints. Based on the semantic treatment of Humberstone (J Philos Log 8:171–196, 1979) and del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996), a sequent calculus $$\textsf{G}(\textbf{C}+\textbf{J})$$ is proposed. An approximate idea of obtaining $$\textsf{G}(\textbf{C}+\textbf{J})$$ is adding rules for classical implication on top of the intuitionistic multi-succedent sequent calculus by Maehara (Nagoya Math J 7:45–64, 1954). However, in the semantic treatment, some formulas do not (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  48
    Intuitionistic Public Announcement Logic with Distributed Knowledge.Ryo Murai & Katsuhiko Sano - forthcoming - Studia Logica:1-31.
    We develop intuitionistic public announcement logic over intuitionistic \({\textbf{K}}\), \({{\textbf{K}}}{{\textbf{T}}}\), \({{\textbf{K}}}{{\textbf{4}}}\), and \({{\textbf{S}}}{{\textbf{4}}}\) with distributed knowledge. We reveal that a recursion axiom for the distributed knowledge is _not_ valid for a frame class discussed in [ 12 ] but valid for the restricted frame class introduced in [ 20, 26 ]. The semantic completeness of the static logics for this restricted frame class is established via the concept of pseudo-model.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  13
    On Artemov and Protopopescu’s Intuitionistic Epistemic Logic Expanded with Distributed Knowledge.Youan Su, Ryo Murai & Katsuhiko Sano - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 216-231.
    Artemov and Protopopescu introduced a Brouwer-Heyting-Kolmogorov interpretation of knowledge operator to define the intuitionistic epistemic logic IEL, where the axiom A⊃KA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A\supset KA$$\end{document} is accepted but the axiom KA⊃A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$KA\supset A$$\end{document} is refused. This paper studies the notion of distributed knowledge on an expansion of the multi agent variant of IEL. We provide a BHK interpretation of distributed knowledge operator to define the intuitionistic epistemic (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  15
    Axiomatizing hybrid products.Katsuhiko Sano - 2010 - Journal of Applied Logic 8 (4):459-474.
  7. 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 (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  10
    Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic.Masanobu Toyooka & Katsuhiko Sano - 2023 - Australasian Journal of Logic 20 (3):397-411.
    This paper shows Hilbert system (C+J)-, given by del Cerro and Herzig (1996) is semantically incomplete. This system is proposed as a proof theory for Kripke semantics for a combination of intuitionistic and classical propositional logic, which is obtained by adding the natural semantic clause of classical implication into intuitionistic Kripke semantics. Although Hilbert system (C+J)- contains intuitionistic modus ponens as a rule, it does not contain classical modus ponens. This paper gives an argument ensuring that the system (C+J)- is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  14
    Goldblatt-Thomason-style Theorems for Graded Modal Language.Katsuhiko Sano & Minghui Ma - 1998 - 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   2 citations  
  10.  11
    A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic.Youan Su & Katsuhiko Sano - 2023 - Studia Logica 111 (4):615-652.
    Intuitionistic epistemic logic by Artemov and Protopopescu (Rev Symb Log 9:266–298, 2016) accepts the axiom “if A, then A is known” (written $$A \supset K A$$ ) in terms of the Brouwer–Heyting–Kolmogorov interpretation. There are two variants of intuitionistic epistemic logic: one with the axiom “ $$KA \supset \lnot \lnot A$$ ” and one without it. The former is called $$\textbf{IEL}$$, and the latter is called $$\textbf{IEL}^{-}$$. The aim of this paper is to study first-order expansions (with equality and function (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  25
    Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms.Ryo Hatano & Katsuhiko Sano - 2020 - Studia Logica 109 (1):95-124.
    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  
  12.  18
    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  
  13.  15
    Sequent Calculi for Multi-Agent Epistemic Logics for Distributed Knowledge.Ryo Murai & Katsuhiko Sano - unknown
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  18
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  20
    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.
  16.  23
    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  
  17.  39
    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 (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  2
    Sūgaku ni okeru shōmei to shinri: yōsō ronri to sūgaku kisoron = Proof and truth in mathematics: modal logic and the foundations of mathematics.Katsuhiko Sano (ed.) - 2016 - Tōkyō-to Bunkyō-ku: Kyōritsu Shuppan.
    正しいから証明できるのか、証明できるから正しいのか。数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先 端の議論までを解説した。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  16
    Cut-free and Analytic Sequent Calculus of First-Order Intuitionistic Epistemic Logic.Youan Su & Katsuhiko Sano - unknown
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark