Search results
Lecture Notes in Computer Science > Advances in Artificial Intelligence > Logic and Distributed Systems > 362-373
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 697-711
Trends in Logic > Towards Mathematical Philosophy > 249-268
IFIP — The International Federation for Information Processing > Advances in Digital Forensics V > Evidence Management > 301-316
Journal of Philosophical Logic > 2016 > 45 > 4 > 399-428
Logica Universalis > 2016 > 10 > 2-3 > 135-141
Logica Universalis > 2016 > 10 > 2-3 > 327-338
Studia Logica > 2016 > 104 > 2 > 317-341
Studia Logica > 2016 > 104 > 5 > 957-1001
Science of Computer Programming > 2015 > 112 > P1 > 75-101
Theoretical Computer Science > 2015 > 564 > Complete > 30-62
Journal of Philosophical Logic > 2015 > 44 > 3 > 321-335
Journal of Philosophical Logic > 2015 > 44 > 3 > 309-319
Archive for Mathematical Logic > 2015 > 54 > 5-6 > 531-553