BibTeX records: Nobu-Yuki Suzuki

download as .bib file

@article{DBLP:journals/bsl/FujiwaraINSY23,
  author       = {Makoto Fujiwara and
                  Hajime Ishihara and
                  Takako Nemoto and
                  Nobu{-}Yuki Suzuki and
                  Keita Yokoyama},
  title        = {Extended Frames and Separations of Logical Principles},
  journal      = {Bull. Symb. Log.},
  volume       = {29},
  number       = {3},
  pages        = {311--353},
  year         = {2023},
  url          = {https://doi.org/10.1017/bsl.2023.29},
  doi          = {10.1017/BSL.2023.29},
  timestamp    = {Mon, 01 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/FujiwaraINSY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/HuKS19,
  author       = {Tai{-}Wei Hu and
                  Mamoru Kaneko and
                  Nobu{-}Yuki Suzuki},
  title        = {Small Infinitary Epistemic Logics},
  journal      = {Rev. Symb. Log.},
  volume       = {12},
  number       = {4},
  pages        = {702--735},
  year         = {2019},
  url          = {https://doi.org/10.1017/S1755020319000029},
  doi          = {10.1017/S1755020319000029},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rsl/HuKS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/KanekoS11,
  author       = {Mamoru Kaneko and
                  Nobu{-}Yuki Suzuki},
  editor       = {Hans van Ditmarsch and
                  J{\'{e}}r{\^{o}}me Lang and
                  Shier Ju},
  title        = {A Measure of Logical Inference and Its Game Theoretical Applications},
  booktitle    = {Logic, Rationality, and Interaction - Third International Workshop,
                  {LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6953},
  pages        = {139--150},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24130-7\_10},
  doi          = {10.1007/978-3-642-24130-7\_10},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/KanekoS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/KanekoS03,
  author       = {Mamoru Kaneko and
                  Nobu{-}Yuki Suzuki},
  title        = {Epistemic models of shallow depths and decision making in games: Horticulture},
  journal      = {J. Symb. Log.},
  volume       = {68},
  number       = {1},
  pages        = {163--186},
  year         = {2003},
  url          = {https://doi.org/10.2178/jsl/1045861510},
  doi          = {10.2178/JSL/1045861510},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/KanekoS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Suzuki03,
  author       = {Nobu{-}Yuki Suzuki},
  title        = {Halld{\'{e}}n-Completeness in Super-Intuitionistic Predicate
                  Logics},
  journal      = {Stud Logica},
  volume       = {73},
  number       = {1},
  pages        = {113--130},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022941407162},
  doi          = {10.1023/A:1022941407162},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Suzuki03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/KutzWSSZ03,
  author       = {Oliver Kutz and
                  Frank Wolter and
                  Holger Sturm and
                  Nobu{-}Yuki Suzuki and
                  Michael Zakharyaschev},
  title        = {Logics of metric spaces},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {2},
  pages        = {260--294},
  year         = {2003},
  url          = {https://doi.org/10.1145/635499.635504},
  doi          = {10.1145/635499.635504},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/KutzWSSZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aiml/2002,
  editor       = {Philippe Balbiani and
                  Nobu{-}Yuki Suzuki and
                  Frank Wolter and
                  Michael Zakharyaschev},
  title        = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
                  in Modal logic," held in Toulouse, France, 30 September - 2 October
                  2002},
  publisher    = {King's College Publications},
  year         = {2003},
  url          = {http://www.aiml.net/volumes/volume4/},
  isbn         = {0-9543006-2-9},
  timestamp    = {Wed, 17 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/KutzSSWZ02,
  author       = {Oliver Kutz and
                  Holger Sturm and
                  Nobu{-}Yuki Suzuki and
                  Frank Wolter and
                  Michael Zakharyaschev},
  title        = {Axiomatizing Distance Logics},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {3-4},
  pages        = {425--440},
  year         = {2002},
  url          = {https://doi.org/10.3166/jancl.12.425-439},
  doi          = {10.3166/JANCL.12.425-439},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/KutzSSWZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/KanekoNST02,
  author       = {Mamoru Kaneko and
                  Takashi Nagashima and
                  Nobu{-}Yuki Suzuki and
                  Yoshihito Tanaka},
  title        = {A Map of Common Knowledge Logics},
  journal      = {Stud Logica},
  volume       = {71},
  number       = {1},
  pages        = {57--86},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016387008323},
  doi          = {10.1023/A:1016387008323},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/KanekoNST02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/BalbianiSWZ02,
  author       = {Philippe Balbiani and
                  Nobu{-}Yuki Suzuki and
                  Frank Wolter and
                  Michael Zakharyaschev},
  editor       = {Philippe Balbiani and
                  Nobu{-}Yuki Suzuki and
                  Frank Wolter and
                  Michael Zakharyaschev},
  title        = {Editorial Preface},
  booktitle    = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
                  in Modal logic," held in Toulouse, France, 30 September - 2 October
                  2002},
  publisher    = {King's College Publications},
  year         = {2002},
  timestamp    = {Wed, 17 Jan 2024 09:58:31 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/BalbianiSWZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/KanekoS00,
  author       = {Mamoru Kaneko and
                  Nobu{-}Yuki Suzuki},
  editor       = {Frank Wolter and
                  Heinrich Wansing and
                  Maarten de Rijke and
                  Michael Zakharyaschev},
  title        = {Epistemic Logic of Shallow Depths and Game Theoretical Applications},
  booktitle    = {Advances in Modal Logic 3, papers from the third conference on "Advances
                  in Modal logic," held in Leipzig, Germany, 4-7 October 2000},
  pages        = {279--298},
  publisher    = {World Scientific},
  year         = {2000},
  url          = {https://doi.org/10.1142/9789812776471\_0015},
  doi          = {10.1142/9789812776471\_0015},
  timestamp    = {Wed, 17 Jan 2024 17:12:17 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/KanekoS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/SturmSWZ00,
  author       = {Holger Sturm and
                  Nobu{-}Yuki Suzuki and
                  Frank Wolter and
                  Michael Zakharyaschev},
  editor       = {Manuel Ojeda{-}Aciego and
                  Inman P. de Guzm{\'{a}}n and
                  Gerhard Brewka and
                  Lu{\'{\i}}s Moniz Pereira},
  title        = {Semi-qualitative Reasoning about Distances: {A} Preliminary Report},
  booktitle    = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
                  Malaga, Spain, September 29 - October 2, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1919},
  pages        = {37--56},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-40006-0\_4},
  doi          = {10.1007/3-540-40006-0\_4},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/SturmSWZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Suzuki99,
  author       = {Nobu{-}Yuki Suzuki},
  title        = {Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {3},
  pages        = {387--416},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005207121661},
  doi          = {10.1023/A:1005207121661},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Suzuki99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Suzuki97,
  author       = {Nobu{-}Yuki Suzuki},
  title        = {Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics},
  journal      = {Stud Logica},
  volume       = {59},
  number       = {1},
  pages        = {249--269},
  year         = {1997},
  url          = {http://www.springerlink.com/content/rg6212026832h625/},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Suzuki97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isci/KuraokaS96,
  author       = {Takashi Kuraoka and
                  Nobu{-}Yuki Suzuki},
  title        = {Optimal Fuzzy Objects for the Set of Given Data in the Case of the
                  Group Theory},
  journal      = {Inf. Sci.},
  volume       = {92},
  number       = {1-4},
  pages        = {197--210},
  year         = {1996},
  url          = {https://doi.org/10.1016/0020-0255(96)00041-2},
  doi          = {10.1016/0020-0255(96)00041-2},
  timestamp    = {Thu, 25 Dec 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isci/KuraokaS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Suzuki95,
  author       = {Nobu{-}Yuki Suzuki},
  title        = {Constructing a continuum of predicate extensions of each intermediate
                  propositional logic},
  journal      = {Stud Logica},
  volume       = {54},
  number       = {2},
  pages        = {173--198},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01063151},
  doi          = {10.1007/BF01063151},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Suzuki95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isci/KuraokaS93,
  author       = {Takashi Kuraoka and
                  Nobu{-}Yuki Suzuki},
  title        = {A Simple Characterization of Fuzzy Subgroups},
  journal      = {Inf. Sci.},
  volume       = {73},
  number       = {1-2},
  pages        = {41--55},
  year         = {1993},
  url          = {https://doi.org/10.1016/0020-0255(93)90012-B},
  doi          = {10.1016/0020-0255(93)90012-B},
  timestamp    = {Thu, 25 Dec 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isci/KuraokaS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Suzuki93,
  author       = {Nobu{-}Yuki Suzuki},
  title        = {Some results on the Kripke sheaf semantics for super-intuitionistic
                  predicate logics},
  journal      = {Stud Logica},
  volume       = {52},
  number       = {1},
  pages        = {73--94},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01053065},
  doi          = {10.1007/BF01053065},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Suzuki93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/Suzuki90,
  author       = {Nobu{-}Yuki Suzuki},
  title        = {An extension of ono's completeness result},
  journal      = {Math. Log. Q.},
  volume       = {36},
  number       = {4},
  pages        = {365--366},
  year         = {1990},
  url          = {https://doi.org/10.1002/malq.19900360410},
  doi          = {10.1002/MALQ.19900360410},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Suzuki90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Suzuki90,
  author       = {Nobu{-}Yuki Suzuki},
  title        = {Kripke bundles for intermediate predicate logics and Kripke frames
                  for intuitionistic modal logics},
  journal      = {Stud Logica},
  volume       = {49},
  number       = {3},
  pages        = {289--306},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00370365},
  doi          = {10.1007/BF00370365},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Suzuki90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Suzuki89,
  author       = {Nobu{-}Yuki Suzuki},
  title        = {An algebraic approach to intuitionistic modal logics in connection
                  with intermediate predicate logics},
  journal      = {Stud Logica},
  volume       = {48},
  number       = {2},
  pages        = {141--155},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF02770508},
  doi          = {10.1007/BF02770508},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Suzuki89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.