Nobu-Yuki Suzuki

21 papers B 4Journal 16Unranked 1
YearRankTypeTitle / Venue / Authors
2023 J jnl
Extended Frames and Separations of Logical Principles.
Bull. Symb. Log.
Makoto Fujiwara, Hajime Ishihara, Takako Nemoto, Nobu-Yuki Suzuki, Keita Yokoyama
2019 J jnl
Small Infinitary Epistemic Logics.
Rev. Symb. Log.
Tai-Wei Hu, Mamoru Kaneko, Nobu-Yuki Suzuki
2011 — conf
A Measure of Logical Inference and Its Game Theoretical Applications.
LORI
Mamoru Kaneko, Nobu-Yuki Suzuki
2003 B ed.
Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September - 2 October 2002
Advances in Modal Logic
Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
2003 J jnl
Epistemic models of shallow depths and decision making in games: Horticulture.
J. Symb. Log.
Mamoru Kaneko, Nobu-Yuki Suzuki
2003 J jnl
Halldén-Completeness in Super-Intuitionistic Predicate Logics.
Stud Logica
Nobu-Yuki Suzuki
2003 J jnl
Logics of metric spaces.
ACM Trans. Comput. Log.
Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev
2002 J jnl
A Map of Common Knowledge Logics.
Stud Logica
Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki, Yoshihito Tanaka
2002 J jnl
Axiomatizing Distance Logics.
J. Appl. Non Class. Logics
Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
2002 B conf
Editorial Preface.
Advances in Modal Logic
Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
2000 B conf
Epistemic Logic of Shallow Depths and Game Theoretical Applications.
Advances in Modal Logic
Mamoru Kaneko, Nobu-Yuki Suzuki
2000 B conf
Semi-qualitative Reasoning about Distances: A Preliminary Report.
JELIA
Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
1999 J jnl
Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics.
Stud Logica
Nobu-Yuki Suzuki
1997 J jnl
Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics.
Stud Logica
Nobu-Yuki Suzuki
1996 J jnl
Optimal Fuzzy Objects for the Set of Given Data in the Case of the Group Theory.
Inf. Sci.
Takashi Kuraoka, Nobu-Yuki Suzuki
1995 J jnl
Constructing a continuum of predicate extensions of each intermediate propositional logic.
Stud Logica
Nobu-Yuki Suzuki
1993 J jnl
A Simple Characterization of Fuzzy Subgroups.
Inf. Sci.
Takashi Kuraoka, Nobu-Yuki Suzuki
1993 J jnl
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.
Stud Logica
Nobu-Yuki Suzuki
1990 J jnl
An extension of ono's completeness result.
Math. Log. Q.
Nobu-Yuki Suzuki
1990 J jnl
Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics.
Stud Logica
Nobu-Yuki Suzuki
1989 J jnl
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics.
Stud Logica
Nobu-Yuki Suzuki