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
1682005
Impossible worlds
F Berto, M Jago
1172009
The impossible: An essay on hyperintensionality
M Jago
OUP Oxford, 2014
732014
Being positive about negative facts
S Barker, M Jago
Philosophy and Phenomenological Research 85 (1), 117-138, 2012
562012
Logics for resource-bounded agents
M Jago
Forthcoming PhD Thesis, 2006
352006
Transworld identity
P Mackie, M Jago
342006
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
292006
Impossible worlds
M Jago
Noûs 49 (4), 713-728, 2015
272015
Logical information and epistemic space
M Jago
Synthese 167 (2), 327-341, 2009
262009
Epistemic logic for rule-based agents
M Jago
Journal of Logic, Language and Information 18 (1), 131-158, 2009
252009
Modal logics for communicating rule-based agents
G Brewka
ECAI 2006: 17th European Conference on Artificial Intelligence, August 29 …, 2006
252006
Resource-bounded belief revision and contraction
N Alechina, M Jago, B Logan
International Workshop on Declarative Agent Languages and Technologies, 141-154, 2005
252005
The truthmaker non-maximalist’s dilemma
M Jago
Mind 121 (484), 903-918, 2012
212012
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
202006
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
172006
Setting the facts straight
M Jago
Journal of Philosophical Logic 40 (1), 33-54, 2011
152011
The content of deduction
M Jago
Journal of Philosophical Logic 42 (2), 317-334, 2013
142013
Hintikka and Cresswell on logical omniscience
M Jago
Logic and Logical Philosophy 15 (4), 325-354, 2006
142006
The problem of rational knowledge
M Jago
Erkenntnis 79 (6), 1151-1168, 2014
132014
Constructing worlds
M Jago
Synthese 189 (1), 59-74, 2012
132012
The system can't perform the operation now. Try again later.
Articles 1–20