Search results for: Ian Pratt‐Hartmann
Mathematical Logic Quarterly > 64 > 3 > 218 - 248
Lecture Notes in Computer Science > Automated Reasoning > A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality > 211-225
Lecture Notes in Computer Science > Languages: From Formal to Natural > Languages: From Formal to Natural > 192-203
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 10. Modal and Temporal Logics > 574-589
Mathematical Logic Quarterly > 61 > 6 > 474 - 515
Artificial Intelligence > 2014 > 217 > Complete > 43-75
Journal of Philosophical Logic > 2013 > 42 > 2 > 391-407
Journal of Logic, Language and Information > 2011 > 20 > 4 > 445-474
Information and Computation > 2009 > 207 > 8 > 867-888
Artificial Intelligence > 2005 > 166 > 1-2 > 1-36
Journal of Logic, Language and Information > 2004 > 13 > 2 > 207-223
Journal of Logic, Language and Information > 2004 > 14 > 3 > 369-395
Journal of Logic, Language and Information > 2003 > 12 > 1 > 13-45
Journal of Philosophical Logic > 2002 > 31 > 5 > 469-498