| Clausal resolution for normal modal logics C Nalon, C Dixon Journal of Algorithms 62 (3-4), 117-134, 2007 | 41 | 2007 |
| KSP: A Resolution-Based Prover for Multimodal K C Nalon, U Hustadt, C Dixon International Joint Conference on Automated Reasoning, 406-415, 2016 | 30* | 2016 |
| A Resolution-Based Theorem Prover for Kn : Architecture, Refinements, Strategies and Experiments C Nalon, U Hustadt, C Dixon Journal of Automated Reasoning 64 (3), 461-484, 2020 | 22 | 2020 |
| A Modal-Layered Resolution Calculus for K C Nalon, U Hustadt, C Dixon Automated Reasoning with Analytic Tableaux and Related Methods, 185-200, 2015 | 20 | 2015 |
| Modal Resolution: Proofs, Layers, and Refinements C Nalon, C Dixon, U Hustadt ACM Transactions on Computational Logic (TOCL) 20 (4), 1-38, 2019 | 16 | 2019 |
| Anti-prenexing and prenexing for modal logics C Nalon, C Dixon Logics in Artificial Intelligence, 333-345, 2006 | 15 | 2006 |
| Tableaux for temporal logics of knowledge: Synchronous systems of perfect recall or no learning C Dixon, C Nalon, M Fisher Temporal Representation and Reasoning, 2003 and Fourth International …, 2003 | 15 | 2003 |
| KSP: a resolution-based prover for multimodal K abridged report C Nalon, U Hustadt, C Dixon Proceedings of the 26th International Joint Conference on Artificial …, 2017 | 12 | 2017 |
| Efficient Local Reductions to Basic Modal Logic F Papacchini, C Nalon, U Hustadt, C Dixon 28th International Conference on Automated Deduction, 2021 | 11 | 2021 |
| Clausal Resolution for Modal Logics of Confluence C Nalon, J Marcos, C Dixon arXiv preprint arXiv:1405.0293, 2014 | 10 | 2014 |
| A resolution-based calculus for Coalition Logic C Nalon, L Zhang, C Dixon, U Hustadt Journal of Logic and Computation 24 (4), 883-917, 2014 | 9 | 2014 |
| Knowledge and time C Dixon, C Nalon, R Ramanujam Handbook of epistemic logic, 205-259, 2015 | 8 | 2015 |
| Resolution for synchrony and no learning C Nalon, C Dixon, M Fisher AiML-2004: Advances in Modal Logic, 303, 2004 | 8 | 2004 |
| A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics C Nalon, B Lopes, G Dowek, EH Haeusler Electronic Notes in Theoretical Computer Science 312 (2015), 125-141, 2015 | 7 | 2015 |
| Tableau for Logics of Time and Knowledge with Interactions Relating to Synchrony C Dixon, C Nalon, M Fisher Journal of Applied Non-Classical Logics 14 (4), 397-445, 2004 | 7 | 2004 |
| A resolution-based calculus for preferential logics C Nalon, D Pattinson Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 6 | 2018 |
| Towards resolution-based reasoning for connected logics C Nalon, O Kutz Electronic Notes in Theoretical Computer Science 305, 85-102, 2014 | 5 | 2014 |
| A Resolution Prover for Coalition Logic C Nalon, L Zhang, C Dixon, U Hustadt arXiv preprint arXiv:1404.0841, 2014 | 5 | 2014 |
| Classical resolution for many-valued logics J Marcos, C Nalon Electronic Notes in Theoretical Computer Science 323, 253-270, 2016 | 4 | 2016 |
| Anti-prenexing and prenexing for modal logics (extended version) C Nalon, C Dixon Technical Report ULCS-06-003, University of Liverpool, April 2006. Available …, 2006 | 4 | 2006 |
Clare DixonUniversity of ManchesterVerified email at manchester.ac.uk
