Vidal, Amanda
- Undecidability and non-axiomatizability of modal many-valued logics
2021/01/21 by Amanda Ferreira Vidal, Vidal, Amanda · 2 citations
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge
- On Transitive modal many-valued logics
2019/04/02 by Vidal, Amanda · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)