Tiziano Dalmonte
- Wijesekera-style constructive modal logics
2022/10/18 by Tiziano Dalmonte, Dalmonte, Tiziano · 3 citations
Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems