Nobu-Yuki Suzuki - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2023

Extended Frames and Separations of Logical PrinciplesMakoto Fujiwara, Hajime Ishihara, Takako Nemoto, Nobu-Yuki Suzuki, Keita Yokoyama. bsl, 29(3):311-353, September 2023. [doi]

2019

Small Infinitary Epistemic LogicsTai-Wei Hu, Mamoru Kaneko, Nobu-Yuki Suzuki. rsl, 12(4):702-735, 2019. [doi]

2011

A Measure of Logical Inference and Its Game Theoretical ApplicationsMamoru Kaneko, Nobu-Yuki Suzuki. ifip3-5 2011: 139-150 [doi]

2003

Epistemic models of shallow depths and decision making in games: HorticultureMamoru Kaneko, Nobu-Yuki Suzuki. JSYML, 68(1):163-186, 2003.

Logics of metric spacesOliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev. tocl, 4(2):260-294, 2003. [doi]

Halldén-Completeness in Super-Intuitionistic Predicate LogicsNobu-Yuki Suzuki. sLogica, 73(1):113-130, 2003.

2002

Editorial PrefacePhilippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev. aiml 2003:

A Map of Common Knowledge LogicsMamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki, Yoshihito Tanaka. sLogica, 71(1):57-86, 2002.

Axiomatizing Distance LogicsOliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev. jancl, 12(3-4):425-440, 2002.

2000

Epistemic Logic of Shallow Depths and Game Theoretical ApplicationsMamoru Kaneko, Nobu-Yuki Suzuki. aiml 2002: 279-298

Semi-qualitative Reasoning about Distances: A Preliminary ReportHolger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev. jelia 2000: 37-56 [doi]

1999

Algebraic Kripke Sheaf Semantics for Non-Classical Predicate LogicsNobu-Yuki Suzuki. sLogica, 63(3):387-416, 1999.

1997

Kripke Frame with Graded Accessibility and Fuzzy Possible World SemanticsNobu-Yuki Suzuki. sLogica, 59(1):249-269, 1997.

1996

Optimal Fuzzy Objects for the Set of Given Data in the Case of the Group TheoryTakashi Kuraoka, Nobu-Yuki Suzuki. isci, 92(1-4):197-210, 1996.

1995

Constructing a continuum of predicate extensions of each intermediate propositional logicNobu-Yuki Suzuki. sLogica, 54(2):173-198, 1995.

1993

A Simple Characterization of Fuzzy SubgroupsTakashi Kuraoka, Nobu-Yuki Suzuki. isci, 73(1-2):41-55, 1993. [doi]

Some results on the Kripke sheaf semantics for super-intuitionistic predicate logicsNobu-Yuki Suzuki. sLogica, 52(1):73-94, 1993.

1990

Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logicsNobu-Yuki Suzuki. sLogica, 49(3):289-306, 1990. [doi]

An extension of ono's completeness resultNobu-Yuki Suzuki. mlq, 36(4):365-366, 1990. [doi]

1989

An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logicsNobu-Yuki Suzuki. sLogica, 48(2):141-155, 1989. [doi]

Sign in or sign up to see more results.

runs on WebDSL