13 found
Sort by:
  1. Mamoru Kaneko & Nobu-Yuki Suzuki (2003). Epistemic Models of Shallow Depths and Decision Making in Games: Horticulture. Journal of Symbolic Logic 68 (1):163-186.
    Kaneko-Suzuki developed epistemic logics of shallow depths with multiple players for investigations of game theoretical problems. By shallow depth, we mean that nested occurrences of belief operators of players in formulae are restricted, typically to be of finite depths, by a given epistemic structure. In this paper, we develop various methods of surgical operations (cut and paste) of epistemic world models. An example is a bouquet-making, i.e., tying several models into a bouquet. Another example is to engraft a model to (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  2. Nobu-Yuki Suzuki (2003). Halldén-Completeness in Super-Intuitionistic Predicate Logics. Studia Logica 73 (1):113 - 130.
    One criterion of constructive logics is the disjunction, property (DP). The Halldén-completeness is a weak DP, and is related to the relevance principle and variable separation. This concept is well-understood in the case of propositional logics. We extend this notion to predicate logics. Then three counterparts naturally arise. We discuss relationships between these properties and meet-irreducibility in the lattice of logics.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki & Yoshihito Tanaka (2002). A Map of Common Knowledge Logics. Studia Logica 71 (1):57-86.
    In order to capture the concept of common knowledge, various extensions of multi-modal epistemic logics, such as fixed-point ones and infinitary ones, have been proposed. Although we have now a good list of such proposed extensions, the relationships among them are still unclear. The purpose of this paper is to draw a map showing the relationships among them. In the propositional case, these extensions turn out to be all Kripke complete and can be comparable in a meaningful manner. F. Wolter (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  4. Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev (2002). Axiomatizing Distance Logics. Journal of Applied Non-Classical Logics 12 (3-4):425-439.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Nobu-Yuki Suzuki (1999). Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics. Studia Logica 63 (3):387-416.
    In so-called Kripke-type models, each sentence is assigned either to true or to false at each possible world. In this setting, every possible world has the two-valued Boolean algebra as the set of truth values. Instead, we take a collection of algebras each of which is attached to a world as the set of truth values at the world, and obtain an extended semantics based on the traditional Kripke-type semantics, which we call here the algebraic Kripke semantics. We introduce algebraic (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Nobu-Yuki Suzuki (1999). A Remark on Super-Intuitionistic Predicate Logics Having the Same Propositional Fragment. Bulletin of the Section of Logic 28 (2):107-115.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Nobu-Yuki Suzuki (1997). Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics. Studia Logica 59 (2):249-269.
    A possible world structure consist of a set W of possible worlds and an accessibility relation R. We take a partial function r(·,·) to the unit interval [0, 1] instead of R and obtain a Kripke frame with graded accessibility r Intuitively, r(x, y) can be regarded as the reliability factor of y from x We deal with multimodal logics corresponding to Kripke frames with graded accessibility in a fairly general setting. This setting provides us with a framework for fuzzy (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  8. Nobu-Yuki Suzuki (1995). Constructing a Continuum of Predicate Extensions of Each Intermediate Propositional Logic. Studia Logica 54 (2):173 - 198.
    Wajsberg and Jankov provided us with methods of constructing a continuum of logics. However, their methods are not suitable for super-intuitionistic and modal predicate logics. The aim of this paper is to present simple ways of modification of their methods appropriate for such logics. We give some concrete applications as generic examples. Among others, we show that there is a continuum of logics (1) between the intuitionistic predicate logic and the logic of constant domains, (2) between a predicate extension ofS4 (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Tatsuya Shimura & Nobu-Yuki Suzuki (1993). Some Superintuitionistic Logics as the Logical Fragments of Equational Theories. Bulletin of the Section of Logic 22:106-112.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Nobu-Yuki Suzuki (1993). Some Results on the Kripke Sheaf Semantics for Super-Intuitionistic Predicate Logics. Studia Logica 52 (1):73 - 94.
    Some properties of Kripke-sheaf semantics for super-intuitionistic predicate logics are shown. The concept ofp-morphisms between Kripke sheaves is introduced. It is shown that if there exists ap-morphism from a Kripke sheaf 1 into 2 then the logic characterized by 1 is contained in the logic characterized by 2. Examples of Kripke-sheaf complete and finitely axiomatizable super-intuitionistic (and intermediate) predicate logics each of which is Kripke-frame incomplete are given. A correction to the author's previous paper Kripke bundles for intermediate predicate logics (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Nobu-Yuki Suzuki (1990). Some Syntactical Properties of Intermediate Predicate Logics. Notre Dame Journal of Formal Logic 31 (4):548-559.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Nobu-Yuki Suzuki (1990). Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics. Studia Logica 49 (3):289-306.
    Shehtman and Skvortsov introduced Kripke bundles as semantics of non-classical first-order predicate logics. We show the structural equivalence between Kripke bundles for intermediate predicate lógics and Kripke-type frames for intuitionistic modal propositional logics. This equivalence enables us to develop the semantical study of relations between intermediate predicate logics and intuitionistic modal propositional logics. New examples of modal counterparts of intermediate predicate logics are given.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Nobu-Yuki Suzuki (1989). An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics. Studia Logica 48 (2):141 - 155.
    Modal counterparts of intermediate predicate logics will be studied by means of algebraic devise. Our main tool will be a construction of algebraic semantics for modal logics from algebraic frames for predicate logics. Uncountably many examples of modal counterparts of intermediate predicate logics will be given.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation