We stand with Ukraine  

Youan Su

Orcid: 0000-0002-1378-3169

According to our database1, Youan Su authored at least 5 papers between 2019 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Uniform Agent-interpolation of Distributed Knowledge.
[BibTeX]
[DOI]
Youan Su
CoRR, March, 2026

2025
A proof-theoretic approach to uniform interpolation property of multi-agent modal logic.
[BibTeX]
[DOI]
Youan Su
CoRR, October, 2025

2023
A First-Order Expansion of Artemov and Protopopescu's Intuitionistic Epistemic Logic.
[BibTeX]
[DOI]
Youan Su
,
Katsuhiko Sano
Stud Logica, August, 2023

2021
On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge.
[BibTeX]
[DOI]
Youan Su
,
Ryo Murai
,
Katsuhiko Sano
Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

2019
First-Order Intuitionistic Epistemic Logic.
[BibTeX]
[DOI]
Youan Su
,
Katsuhiko Sano
Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019


  Loading...