Author:
Badia Guillermo,Caicedo Xavier,Noguera Carles
Reference34 articles.
1. Lattices and Ordered Algebraic Structures;Blyth,2006
2. On the minimum many-valued modal logic over a finite residuated lattice;Bou;J. Log. Comput.,2011
3. Finite-valued Łukasiewicz modal logic is PSPACE-complete;Bou,2011
4. Decidability in order-based modal logics;Caicedo;J. Comput. Syst. Sci.,2017
5. Bi-modal Gödel logic over [0,1]-valued Kripke frames;Caicedo;J. Log. Comput.,2015
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献