| A functional quantum programming language T Altenkirch, J Grattage 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 249-258, 2005 | 180 | 2005 |
| Impossible worlds F Berto, M Jago Oxford University Press, 2019 | 131 | 2019 |
| The impossible: An essay on hyperintensionality M Jago OUP Oxford, 2014 | 83 | 2014 |
| Being positive about negative facts S Barker, M Jago Philosophy and Phenomenological Research 85 (1), 117-138, 2012 | 57 | 2012 |
| Transworld identity P Mackie, M Jago | 39 | 2006 |
| Logics for resource-bounded agents M Jago Forthcoming PhD Thesis, 2006 | 34 | 2006 |
| Impossible worlds M Jago Noûs 49 (4), 713-728, 2015 | 30 | 2015 |
| Belief revision for AgentSpeak agents N Alechina, RH Bordini, JF Hübner, M Jago, B Logan Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 30 | 2006 |
| Logical information and epistemic space M Jago Synthese 167 (2), 327-341, 2009 | 28 | 2009 |
| Epistemic logic for rule-based agents M Jago Journal of Logic, Language and Information 18 (1), 131-158, 2009 | 28 | 2009 |
| Resource-bounded belief revision and contraction N Alechina, M Jago, B Logan International Workshop on Declarative Agent Languages and Technologies, 141-154, 2005 | 26 | 2005 |
| Modal logics for communicating rule-based agents G Brewka ECAI 2006: 17th European Conference on Artificial Intelligence, August 29 …, 2006 | 25 | 2006 |
| The truthmaker non-maximalist’s dilemma M Jago Mind 121 (484), 903-918, 2012 | 22 | 2012 |
| Automating belief revision for agentspeak N Alechina, RH Bordini, JF Hübner, M Jago, B Logan International Workshop on Declarative Agent Languages and Technologies, 61-77, 2006 | 21 | 2006 |
| The content of deduction M Jago Journal of Philosophical Logic 42 (2), 317-334, 2013 | 17 | 2013 |
| Setting the facts straight M Jago Journal of Philosophical Logic 40 (1), 33-54, 2011 | 16 | 2011 |
| Verifying space and time requirements for resource-bounded agents N Alechina, P Bertoli, C Ghidini, M Jago, B Logan, L Serafini International Workshop on Model Checking and Artificial Intelligence, 19-34, 2006 | 16 | 2006 |
| Hintikka and Cresswell on logical omniscience M Jago Logic and Logical Philosophy 15 (4), 325-354, 2006 | 16 | 2006 |
| The problem of rational knowledge M Jago Erkenntnis 79 (6), 1151-1168, 2014 | 15 | 2014 |
| Constructing worlds M Jago Synthese 189 (1), 59-74, 2012 | 14 | 2012 |
Natasha AlechinaSchool of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk