Nobu-Yuki Suzuki

According to our database, Nobu-Yuki Suzuki authored at least 20 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Extended Frames and Separations of Logical Principles.

Makoto Fujiwara, Hajime Ishihara, Takako Nemoto, Nobu-Yuki Suzuki, Keita Yokoyama

Bull. Symb. Log., September, 2023

2019

Small Infinitary Epistemic Logics.

Tai-Wei Hu, Mamoru Kaneko, Nobu-Yuki Suzuki

Rev. Symb. Log., 2019

2011

A Measure of Logical Inference and Its Game Theoretical Applications.

Mamoru Kaneko, Nobu-Yuki Suzuki

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

2003

Logics of metric spaces.

Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev

ACM Trans. Comput. Log., 2003

Halldén-Completeness in Super-Intuitionistic Predicate Logics.

Nobu-Yuki Suzuki

Stud Logica, 2003

Epistemic models of shallow depths and decision making in games: Horticulture.

Mamoru Kaneko, Nobu-Yuki Suzuki

J. Symb. Log., 2003

2002

A Map of Common Knowledge Logics.

Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki, Yoshihito Tanaka

Stud Logica, 2002

Axiomatizing Distance Logics.

Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev

J. Appl. Non Class. Logics, 2002

Editorial Preface.

Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2000

Semi-qualitative Reasoning about Distances: A Preliminary Report.

Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Epistemic Logic of Shallow Depths and Game Theoretical Applications.

Mamoru Kaneko, Nobu-Yuki Suzuki

Proceedings of the Advances in Modal Logic 3, 2000

1999

Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics.

Nobu-Yuki Suzuki

Stud Logica, 1999

1997

Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics.

Nobu-Yuki Suzuki

Stud Logica, 1997

1996

Optimal Fuzzy Objects for the Set of Given Data in the Case of the Group Theory.

Takashi Kuraoka, Nobu-Yuki Suzuki

Inf. Sci., 1996

1995

Constructing a continuum of predicate extensions of each intermediate propositional logic.

Nobu-Yuki Suzuki

Stud Logica, 1995

1993

Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.

Nobu-Yuki Suzuki

Stud Logica, 1993

A Simple Characterization of Fuzzy Subgroups.

Takashi Kuraoka, Nobu-Yuki Suzuki

Inf. Sci., 1993

1990

Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics.

Nobu-Yuki Suzuki

Stud Logica, 1990

An extension of ono's completeness result.

Nobu-Yuki Suzuki

Math. Log. Q., 1990

1989

An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics.

Nobu-Yuki Suzuki

Stud Logica, 1989