Takahiro Sawasaki

According to our database, Takahiro Sawasaki authored at least 7 papers between 2019 and 2026.

Collaborative distances:

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

2026

Bringing De Re and De Dicto into STIT Logic.

Takahiro Sawasaki

J. Philos. Log., February, 2026

2024

Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms.

Takahiro Sawasaki

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

2022

Corrigendum to: Frame definability, canonicity and cut elimination in common sense modal predicate logics.

Takahiro Sawasaki, Katsuhiko Sano

J. Log. Comput., 2022

A Use Case on GDPR of Modular-PROLEG for Private International Law.

Takahiro Sawasaki, Ken Satoh, Aurore Clément Troussel

Proceedings of the Joint Proceedings of the 3th International Workshop on Artificial Intelligence Technologies for Legal Documents (AI4LEGAL 2022) and the 1st International Workshop on Knowledge Graph Summarization (KGSum 2022) co-located with the 21st International Semantic Web Conference (ISWC 2022), 2022

2021

Frame definability, canonicity and cut elimination in common sense modal predicate logics.

Takahiro Sawasaki, Katsuhiko Sano

J. Log. Comput., 2021

Term-Sequence-Dyadic Deontic Logic.

Takahiro Sawasaki, Katsuhiko Sano

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2019

Term-Sequence-Modal Logics.

Takahiro Sawasaki, Katsuhiko Sano, Tomoyuki Yamada

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019