Fei Liang

1 paper in the IJCAI proceedings

IJCAI 2020

On the Decidability of Intuitionistic Tense Logic without Disjunction

with Zhe Lin

doi:10.24963/ijcai.2020/249

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings