Satoru Niki

17 papers B 2C 1Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Bi-Connexive Logic, Bilateralism, and Negation Inconsistency.
Rev. Symb. Log.
Heinrich Wansing, Satoru Niki, Sergey Drobyshevich
2025 — conf
Subsumption in the Mirror of Ontological and Logical Choices.
JOWO
Fumiaki Toyoshima, Satoru Niki
2024 J jnl
A note on negation inconsistent variants of FDE-negation.
Australas. J. Log.
Satoru Niki
2024 — conf
Kamide is in America, Moisil and Leitgeb are in Australia.
NCL
Satoru Niki, Hitoshi Omori
2024 C conf
To Be More Concrete About Abstracta and Concreta.
FOIS
Fumiaki Toyoshima, Satoru Niki
2023 J jnl
Double Negation as Minimal Negation.
J. Log. Lang. Inf.
Satoru Niki
2023 J jnl
Improving Strong Negation.
Rev. Symb. Log.
Satoru Niki
2023 J jnl
On the Provable Contradictions of the Connexive Logics C and C3.
J. Philos. Log.
Satoru Niki, Heinrich Wansing
2022 — conf
Another Combination of Classical and Intuitionistic Conditionals.
NCL
Satoru Niki, Hitoshi Omori
2022 B conf
Intuitionistic Modality and Beth Semantics.
AiML
Satoru Niki
2022 J jnl
Investigations into intuitionistic and other negations.
Bull. Symb. Log.
Satoru Niki
2021 J jnl
A note on Humberstone's constant Ω.
Reports Math. Log.
Satoru Niki, Hitoshi Omori
2021 — conf
Semantics Matters: A New Light on Ontological Commitments of Logics.
JOWO
Fumiaki Toyoshima, Satoru Niki
2020 B conf
Actuality in Intuitionistic Logic.
AiML
Satoru Niki, Hitoshi Omori
2020 J jnl
Decidable variables for constructive logics.
Math. Log. Q.
Satoru Niki
2020 J jnl
On Scott's semantics for many-valued logic.
J. Log. Comput.
Satoru Niki, Peter Schuster
2020 J jnl
Subminimal Logics in Light of Vakarelov's Logic.
Stud Logica
Satoru Niki