Çiğdem Gencer
- Local Intuitionistic Modal Logics and Their Calculi
2024/03/11 by Philippe Balbiani, Han Gao, Balbiani, Philippe +5 · 3 citations
Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge