We stand with Ukraine

We stand with Ukraine

Satoru Niki

Orcid: 0000-0002-0882-806X

According to our database¹, Satoru Niki authored at least 20 papers between 2020 and 2026.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Correspondence of Contradictions in the Constructive Connexive Calculus C.

[DOI]

Arch. Math. Log., June, 2026

First-order intuitionistic Belnap-Dunn logic: proof-theoretic analysis of the American path.

[DOI]

Norihiro Kamide

,

Log. J. IGPL, 2026

Alternative First-order Constructive Logics.

[DOI]

Norihiro Kamide

,

Proceedings of the 56th IEEE International Symposium on Multiple-Valued Logic, 2026

2025

Bi-Connexive Logic, Bilateralism, and Negation Inconsistency.

[DOI]

Heinrich Wansing

,

,

Sergey Drobyshevich

Rev. Symb. Log., 2025

Subsumption in the Mirror of Ontological and Logical Choices.

[DOI]

Fumiaki Toyoshima

,

Proceedings of the Joint Ontology Workshops (JOWO), 2025

2024

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

[DOI]

,

Proceedings of the Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications, January, 2024

A note on negation inconsistent variants of FDE-negation.

[DOI]

Australas. J. Log., 2024

To Be More Concrete About Abstracta and Concreta.

[DOI]

Fumiaki Toyoshima

,

Proceedings of the Formal Ontology in Information Systems, 2024

2023

Double Negation as Minimal Negation.

[DOI]

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

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

[DOI]

,

Heinrich Wansing

J. Philos. Log., October, 2023

Improving Strong Negation.

[DOI]

Rev. Symb. Log., September, 2023

2022

Investigations into intuitionistic and other negations.

[DOI]

Bull. Symb. Log., December, 2022

Another Combination of Classical and Intuitionistic Conditionals.

[DOI]

,

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

Intuitionistic Modality and Beth Semantics.

[DOI]

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

2021

A note on Humberstone's constant Ω.

[DOI]

,

Reports Math. Log., 2021

Semantics Matters: A New Light on Ontological Commitments of Logics.

[DOI]

Fumiaki Toyoshima

,

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.

[DOI]

Stud Logica, 2020

Decidable variables for constructive logics.

[DOI]

Math. Log. Q., 2020

On Scott's semantics for many-valued logic.

[DOI]

,

J. Log. Comput., 2020

Actuality in Intuitionistic Logic.

[DOI]

,

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

Loading...