Follow
Takahiro Sawasaki
Title
Cited by
Cited by
Year
Term-sequence-modal logics
T Sawasaki, K Sano, T Yamada
Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019 …, 2019
102019
Frame definability, canonicity and cut elimination in common sense modal predicate logics
T Sawasaki, K Sano
Journal of Logic and Computation 31 (8), 1933-1958, 2021
22021
A use case on GDPR of Modular-PROLEG for private international law
T Sawasaki, A Troussel, K Satoh
Proceedings of the 3th International Workshop on Artificial Intelligence …, 2022
12022
Corrigendum to: Frame definability, canonicity and cut elimination in common sense modal predicate logics
T Sawasaki, K Sano
Journal of Logic and Computation 32 (1), 172-172, 2022
2022
Proof-Theoretic Results of Common Sense Modal Predicate Calculi
T Sawasaki, K Sano
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on …, 2020
2020
A Sequent Calculus for K-restricted Common Sense Modal Predicate Logic
T Sawasaki
2019
The system can't perform the operation now. Try again later.
Articles 1–6