19 found
Order:
  1.  34
    An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics.Nobu-Yuki Suzuki - 1989 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  49
    Axiomatizing Distance Logics.Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):425-439.
    In [STU 00, KUT 03] we introduced a family of ‘modal' languages intended for talking about distances. These languages are interpreted in ‘distance spaces' which satisfy some of the standard axioms of metric spaces. Among other things, we singled out decidable logics of distance spaces and proved expressive completeness results relating classical and modal languages. The aim of this paper is to axiomatize the modal fragments of the semantically defined distance logics of [KUT 03] and give a new proof of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  46
    Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  56
    Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 1993 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  44
    Extended Frames and Separations of Logical Principles.Makoto Fujiwara, Hajime Ishihara, Takako Nemoto, Nobu-Yuki Suzuki & Keita Yokoyama - 2023 - Bulletin of Symbolic Logic 29 (3):311-353.
    We aim at developing a systematic method of separating omniscience principles by constructing Kripke models for intuitionistic predicate logic $\mathbf {IQC}$ and first-order arithmetic $\mathbf {HA}$ from a Kripke model for intuitionistic propositional logic $\mathbf {IPC}$. To this end, we introduce the notion of an extended frame, and show that each IPC-Kripke model generates an extended frame. By using the extended frame generated by an IPC-Kripke model, we give a separation theorem of a schema from a set of schemata in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  57
    Algebraic Kripke sheaf semantics for non-classical predicate logics.Nobu-Yuki Suzuki - 1999 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  42
    Constructing a continuum of predicate extensions of each intermediate propositional logic.Nobu-Yuki Suzuki - 1995 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  28
    Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics.Nobu-Yuki Suzuki - 2017 - Bulletin of the Section of Logic 46 (1/2).
    We discuss relationships among the existence property, the disjunction property, and their weak variants in the setting of intermediate predicate logics. We deal with the weak and sentential existence properties, and the Z-normality, which is a weak variant of the disjunction property. These weak variants were presented in the author’s previous paper [16]. In the present paper, the Kripke sheaf semantics is used.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  90
    A map of common knowledge logics.Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki & Yoshihito Tanaka - 2002 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  46
    Halldén-completeness in super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 2003 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  54
    Epistemic models of shallow depths and decision making in games: Horticulture.Mamoru Kaneko & Nobu-Yuki Suzuki - 2003 - 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)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  11
    (1 other version)An extension of ono's completeness result.Nobu-Yuki Suzuki - 1990 - Mathematical Logic Quarterly 36 (4):365-366.
  13.  10
    Advances in Modal Logic, Volume 4: Papers From the Fourth Aiml Conference, Held in Toulouse, October 2002.Philippe Balbiani, Nobu-Yuki Suzuki & Frank Wolter (eds.) - 2003 - London, England: King's College Publications.
  14.  35
    Small infinitary epistemic logics.Tai-wei Hu, Mamoru Kaneko & Nobu-Yuki Suzuki - 2019 - Review of Symbolic Logic 12 (4):702-735.
    We develop a series of small infinitary epistemic logics to study deductive inference involving intra-/interpersonal beliefs/knowledge such as common knowledge, common beliefs, and infinite regress of beliefs. Specifically, propositional epistemic logics GL are presented for ordinal α up to a given αo so that GL is finitary KDn with n agents and GL allows conjunctions of certain countably infinite formulae. GL is small in that the language is countable and can be constructive. The set of formulae Lα is increasing up (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. (1 other version)Epistemic Logic of Shallow Depths and Game Theoretical Applications.Mamoru Kaneko & Nobu-Yuki Suzuki - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 279-298.
    No categories
     
    Export citation  
     
    Bookmark  
  16.  19
    Some syntactical properties of intermediate predicate logics.Nobu-Yuki Suzuki - 1990 - Notre Dame Journal of Formal Logic 31 (4):548-559.
  17.  37
    Some superintuitionistic logics as the logical fragments of equational theories.Tatsuya Shimura & Nobu-Yuki Suzuki - 1993 - Bulletin of the Section of Logic 22:106-112.
  18.  29
    A remark on super-intuitionistic predicate logics having the same propositional fragment.Nobu-Yuki Suzuki - 1999 - Bulletin of the Section of Logic 28 (2):107-115.
  19.  67
    Kripke frame with graded accessibility and fuzzy possible world semantics.Nobu-Yuki Suzuki - 1997 - 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 (5 more)  
     
    Export citation  
     
    Bookmark