Search results for: Pavel Naumov
Journal of Applied Logic > 2017 > 20 > C > 49-74
Journal of Applied Logic > 2017 > 20 > C > 32-48
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Secrets and Trust > 29-40
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Contributed Papers > 296-304
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 329-345
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Regular Papers > 15-32
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Section 2: Contributed Papers > 95-109
Journal of Philosophical Logic > 2014 > 43 > 2-3 > 603-616
Annals of Pure and Applied Logic > 2014 > 165 > 1 > 253-265
Studia Logica > 2012 > 100 > 5 > 953-973
Annals of Pure and Applied Logic > 2011 > 162 > 12 > 959-969
Annals of Mathematics and Artificial Intelligence > 2011 > 62 > 1-2 > 79-101
Studia Logica > 2010 > 94 > 1 > 73-85
Archive for Mathematical Logic > 2008 > 47 > 1 > 35-52
Annals of Pure and Applied Logic > 2006 > 141 > 1-2 > 218-224
Theoretical Computer Science > 2006 > 357 > 1-3 > 167-185