Search results for: David Fernández Duque
Studia Logica > 2019 > 107 > 3 > 457-488
Annals of Pure and Applied Logic > 2018 > 169 > 4 > 333-371
Information Sciences > 2016 > 354 > C > 153-164
Designs, Codes and Cryptography > 2017 > 83 > 1 > 145-168
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Knowledge and Beliefs > 74-87
Advances in Intelligent and Soft Computing > International Symposium on Distributed Computing and Artificial Intelligence > Multiagent Systems > 117-124
Discrete Applied Mathematics > 2016 > 198 > Complete > 118-135
Designs, Codes and Cryptography > 2015 > 74 > 1 > 113-125
Archive for Mathematical Logic > 2014 > 53 > 3-4 > 385-431
Annals of Pure and Applied Logic > 2014 > 165 > 1 > 106-133
Studia Logica > 2014 > 102 > 3 > 541-566
Annals of Pure and Applied Logic > 2013 > 164 > 7-8 > 785-801
Theoretical Computer Science > 2013 > 495 > Complete > 81-95
Annals of Pure and Applied Logic > 2012 > 163 > 4 > 467-481
Journal of Philosophical Logic > 2011 > 40 > 6 > 767-804
Studia Logica > 2011 > 98 > 3 > 347-373