Mark Jago
Mark Jago
Department of Philosophy, University of Nottingham
Verified email at nottingham.ac.uk - Homepage
TitleCited byYear
A functional quantum programming language
T Altenkirch, J Grattage
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 249-258, 2005
1802005
Impossible worlds
F Berto, M Jago
Oxford University Press, 2019
1312019
The impossible: An essay on hyperintensionality
M Jago
OUP Oxford, 2014
832014
Being positive about negative facts
S Barker, M Jago
Philosophy and Phenomenological Research 85 (1), 117-138, 2012
572012
Transworld identity
P Mackie, M Jago
392006
Logics for resource-bounded agents
M Jago
Forthcoming PhD Thesis, 2006
342006
Impossible worlds
M Jago
Noûs 49 (4), 713-728, 2015
302015
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
302006
Logical information and epistemic space
M Jago
Synthese 167 (2), 327-341, 2009
282009
Epistemic logic for rule-based agents
M Jago
Journal of Logic, Language and Information 18 (1), 131-158, 2009
282009
Resource-bounded belief revision and contraction
N Alechina, M Jago, B Logan
International Workshop on Declarative Agent Languages and Technologies, 141-154, 2005
262005
Modal logics for communicating rule-based agents
G Brewka
ECAI 2006: 17th European Conference on Artificial Intelligence, August 29 …, 2006
252006
The truthmaker non-maximalist’s dilemma
M Jago
Mind 121 (484), 903-918, 2012
222012
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
212006
The content of deduction
M Jago
Journal of Philosophical Logic 42 (2), 317-334, 2013
172013
Setting the facts straight
M Jago
Journal of Philosophical Logic 40 (1), 33-54, 2011
162011
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
162006
Hintikka and Cresswell on logical omniscience
M Jago
Logic and Logical Philosophy 15 (4), 325-354, 2006
162006
The problem of rational knowledge
M Jago
Erkenntnis 79 (6), 1151-1168, 2014
152014
Constructing worlds
M Jago
Synthese 189 (1), 59-74, 2012
142012
The system can't perform the operation now. Try again later.
Articles 1–20