Fei Liang

1 papers · 2020–2020 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (4)

Conferences

IJCAI (1)

Top co-authors

Keywords

intuitionistic tense logic (1) implicative semilattice (1) finite model property (1) algebraic proof theory (1) modal operator (1) implicative semi-lattice (1)

Papers

On the Decidability of Intuitionistic Tense Logic without Disjunction IJCAI 2020