Satoru Niki

Profile Information

Affiliation: Assistant Professor, Department of Applied Systems and Mathematics, Faculty of Informatics, Kanagawa University

Degree: Ph.D (Information Science)(Mar, 2021, Japan Advanced Institute of Science and Technology)

Contact information: satoru-nikikanagawa-u.ac.jp
Researcher number: 61017761
ORCID iD: https://orcid.org/0000-0002-0882-806X
J-GLOBAL ID: 202001018422668210
researchmap Member ID: R000004719

Research Interests

Research Areas

Humanities & social sciences / Philosophy and ethics /

Research History

Apr, 2025 - Present

Assistant Professor, Faculty of Informatics, Department of Applied Systems and Mathematics, Kanagawa University
Nov, 2021 - Mar, 2025

Wissenschaftlicher Mitarbeiter, Institute of Philosophy I, Ruhr University Bochum
Apr, 2021 - Jan, 2022

Research Fellow, Institute of Philosophy I, Ruhr University Bochum
Apr, 2018 - Mar, 2021

Doctoral Research Fellow (Special Type), Graduate School of Advanced Science and Technology, Japan Advanced Institute of Science and Technology

Education

Apr, 2018 - Mar, 2021

Division of Advanced Science and Technology, Graduate School of Advanced Science and Technology, Japan Advanced Institute of Science and Technology
Apr, 2016 - Mar, 2018

Division of Advanced Science and Technology, Graduate school of Advanced Science and Technology, Japan Advanced Institute of Science and Technology
Apr, 2014 - Mar, 2016

Graduate Course in Cultural Studies on Corporeal and Visual Representation, Graduate School of Humanities, Gakushuin University
Sep, 2008 - Jun, 2013

School of Mathematics and Statistics, Faculty of Science, University of St Andrews

Papers

Bi-connexive Logic, Bilateralism, and Negation Inconsistency

Heinrich Wansing, Satoru Niki, Sergey Drobyshevich

The Review of Symbolic Logic, Mar 12, 2025 Peer-reviewed
Kamide is in America, Moisil and Leitgeb are in Australia

415 180-194, Dec 28, 2024 Peer-reviewed
Note on Contradictions in Francez-Weiss Logics

Satoru Niki

Logic and Logical Philosophy, 1-30, Dec 12, 2024 Peer-reviewed
To Be More Concrete About Abstracta and Concreta

Fumiaki Toyoshima, Satoru Niki

Proceedings of the 14th International Conference (FOIS 2024), 74-88, Dec 11, 2024 Peer-reviewed
A note on negation inconsistent variants of FDE-negation

Satoru Niki

Australasian Journal of Logic, 21(2) 64-90, May, 2024 Peer-reviewed
Intuitionistic Views on Connexive Constructible Falsity

Satoru Niki

Journal of Applied Logics, 11(2) 125-157, Mar, 2024 Peer-reviewed
Double Negation as Minimal Negation

Satoru Niki

Journal of Logic, Language and Information, 32(5) 861-886, Nov 11, 2023 Peer-reviewed
On the Provable Contradictions of the Connexive Logics C and C3

Satoru Niki, Heinrich Wansing

Journal of Philosophical Logic, 52(5) 1355-1383, Jul 29, 2023 Peer-reviewed
Another Combination of Classical and Intuitionistic Conditionals

Satoru Niki, Hitoshi Omori

Electronic Proceedings in Theoretical Computer Science, 358 174-188, Apr 14, 2022 Peer-reviewed
Intuitionistic Modality and Beth Semantics.

Satoru Niki

Advances in Modal Logic, 14 579-599, 2022 Peer-reviewed
Improving Strong Negation

Satoru Niki

The Review of Symbolic Logic, 16(3) 951-977, Jul 2, 2021 Peer-reviewed
Semantics Matters: A New Light on Ontological Commitments of Logics.

Fumiaki Toyoshima, Satoru Niki

Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), and the 12th International Conference on Biomedical Ontologies (ICBO 2021)(JOWO), 2021 Peer-reviewed
A note on Humberstone's constant Ω

Satoru Niki, Hitoshi Omori

Reports on Mathematical Logic, 56 75-99, 2021 Peer-reviewed
Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations

Satoru Niki

Bulletin of the Section of Logic, 49(4) 359-375, Dec 30, 2020 Peer-reviewed
Decidable variables for constructive logics

Satoru Niki

Mathematical Logic Quarterly, 66(4) 484-493, Dec, 2020 Peer-reviewed
Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations

Satoru Niki

Bulletin of the Section of Logic, 49(3) 231-253, Nov 4, 2020 Peer-reviewed
On Scott’s semantics for many-valued logic

Satoru Niki, Peter Schuster

Journal of Logic and Computation, 30(6) 1291-1302, Sep 4, 2020 Peer-reviewed
Actuality in Intuitionistic Logic

Satoru Niki, Hitoshi Omori

Advances in Modal Logic, 13 459-479, Jul, 2020 Peer-reviewed
Subminimal Logics in Light of Vakarelov’s Logic

Satoru Niki

Studia Logica, 108(5) 967-987, Nov 1, 2019 Peer-reviewed

Presentations

Abelian logic on the Bochum Plan (and the American Plan as well)

Satoru Niki, Heinrich Wansing

Bochum Nonclassical Logic Workshop IV, Jan 30, 2025
Connexive logic, splitted

Satoru Niki

LLAL@GSIS Workshop (IV), Sendai, Japan., Sep 21, 2024 Invited
Another Constructive Motivation for Some Connexive Logics

Satoru Niki

9th Workshop on Connexive Logics, Łódź, Poland., Sep 9, 2024 Invited
Kamide is in America, Moisil and Leitgeb are in Australia

Satoru Niki, Hitoshi Omori

NCL'24: Non-classical Logics: Theory and Applications 2024, Łódź, Poland., Sep 6, 2024
Provable contradictions in relevant connexive logics of Francez and Weiss

Satoru Niki

Proof, Argumentation, Computation, Modalities And Negation (PACM∧N), Verona, Italy., Mar, 2024 Invited
From a constructive logic to a contradictory logic

Satoru Niki

Dagstuhl Seminar 24021: From Proofs to Computation in Geometric Logic and Generalizations, Wadern, Germany., Jan, 2024
Proving and disproving contradictions in the connexive logic C

Satoru Niki

1st Workshop on Contradictory Logics, Bochum, Germany., Dec, 2023
How can an intuitionistic logician understand connexive constructible falsity?

Satoru Niki

Tohoku Logic seminar, Sendai, Japan., Aug, 2023
An alternative notion of constructible falsity,

Satoru Niki

Arbeitstagung Verona-München. Munich, Germany., Jan, 2023 Invited
Revisiting Kearns' semantics for intuitionistic logic

Satoru Niki

1st Workshop on Non-deterministic Semantics for Modal Logics, Bochum, Germany., Nov, 2022 Invited
Provable contradictions and Kamide's negations

Satoru Niki

The second Bochum- Łódź Logic Workshop, Bochum, Germany., Nov, 2022
On the provable contradictions of the connexive logics C and C3

Satoru Niki, Heinrich Wansing

The Sixth World Congress of Paraconsistency. Toruń, Poland., Sep, 2022
Intuitionistic Logic, Justification, Disjunction

Satoru Niki

Logica Copernicana seminar, Toruń, Poland., Sep, 2022
Intuitionistic Modality and Beth Semantics

Satoru nIki

Advances in Modal Logic 2022, Renne, France., Aug, 2022
Provable contradictions in constructive logics

Satoru Niki, Heinrich Wansing

Bochum Nonclassical Logic Workshop II. Bochum, Germany., Apr, 2022
Another combination of classical and intuitionistic conditionals

Satoru Niki, Hitoshi Omori

NCL'22: Non-Classical Logics. Theory and Applications 2022. Łódź, Poland., Mar, 2022
Humberstone's Ω constant and intuitionistic negations

Satoru Niki, Hitoshi Omori

Łódź -Bochum Workshop. Online., Jul, 2021
A more satisfactory approach to constructible falsity,

Satoru Niki

55th MLG mathematical logic workshop. Online., Mar, 2021
Decidability of Variables in Constructive Logics

Satoru Niki

Fourth Workshop on Mathematical Logic and its Applications, Online., Mar, 2021
Actuality in intuitionistic logic

Satoru Niki, Hitoshi Omori

Advances in Modal Logic 2020, online, Aug, 2020

Profile Information

Research Interests

Research Areas

Research History

Education

Papers

Presentations

Menu

Coauthors