Satoru Niki

According to our database, Satoru Niki authored at least 14 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Kamide is in America, Moisil and Leitgeb are in Australia.

Satoru Niki, Hitoshi Omori

CoRR, January, 2025

2024

To Be More Concrete About Abstracta and Concreta.

Fumiaki Toyoshima, Satoru Niki

Proceedings of the Formal Ontology in Information Systems, 2024

2023

Double Negation as Minimal Negation.

Satoru Niki

J. Log. Lang. Inf., December, 2023

On the Provable Contradictions of the Connexive Logics C and C3.

Satoru Niki, Heinrich Wansing

J. Philos. Log., October, 2023

Improving Strong Negation.

Satoru Niki

Rev. Symb. Log., September, 2023

2022

Investigations into intuitionistic and other negations.

Satoru Niki

Bull. Symb. Log., December, 2022

Another Combination of Classical and Intuitionistic Conditionals.

Satoru Niki, Hitoshi Omori

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Intuitionistic Modality and Beth Semantics.

Satoru Niki

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

A note on Humberstone's constant Ω.

Satoru Niki, Hitoshi Omori

Reports Math. Log., 2021

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), 2021

2020

Subminimal Logics in Light of Vakarelov's Logic.

Satoru Niki

Stud Logica, 2020

Decidable variables for constructive logics.

Satoru Niki

Math. Log. Q., 2020

On Scott's semantics for many-valued logic.

Satoru Niki, Peter Schuster

J. Log. Comput., 2020

Actuality in Intuitionistic Logic.

Satoru Niki, Hitoshi Omori

Proceedings of the 13th Conference on Advances in Modal Logic, 2020