Nobu-Yuki Suzuki

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 2

Top Topics

Evolutionary Algorithm

Expressive Power

Epistemic Logic

Top Venues

Bull. Symb. Log.

Rev. Symb. Log.

Publications

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