Satoru Niki

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 12

Top Topics

Proof Theoretic

Intuitionistic Logic

Expressive Power

Top Venues

Bull. Symb. Log.

J. Log. Comput.

J. Log. Lang. Inf.

Publications

Satoru Niki, Heinrich Wansing
On the Provable Contradictions of the Connexive Logics C and C3. J. Philos. Log. 52 (5) (2023)
Satoru Niki
Improving Strong Negation. Rev. Symb. Log. 16 (3) (2023)
Satoru Niki
Double Negation as Minimal Negation. J. Log. Lang. Inf. 32 (5) (2023)
Satoru Niki, Hitoshi Omori
Another Combination of Classical and Intuitionistic Conditionals. NCL (2022)
Satoru Niki
Investigations into intuitionistic and other negations. Bull. Symb. Log. 28 (4) (2022)
Satoru Niki
Intuitionistic Modality and Beth Semantics. AiML (2022)
Fumiaki Toyoshima, Satoru Niki
Semantics Matters: A New Light on Ontological Commitments of Logics. JOWO (2021)
Satoru Niki, Hitoshi Omori
A note on Humberstone's constant Ω. Reports Math. Log. 56 (2021)
Satoru Niki, Peter Schuster
On Scott's semantics for many-valued logic. J. Log. Comput. 30 (6) (2020)
Satoru Niki
Decidable variables for constructive logics. Math. Log. Q. 66 (4) (2020)
Satoru Niki
Subminimal Logics in Light of Vakarelov's Logic. Stud Logica 108 (5) (2020)
Satoru Niki, Hitoshi Omori
Actuality in Intuitionistic Logic. AiML (2020)