-
In this paper we examine an ancient Chinese work on strategy
and warfare: Sun Tzu, “The Art of War”, from the perspectives of
logic, mathematics, and computer science. Making use of contempo-
rary mind mapping methods, we show how logic can be extracted from
this 2500 year old text.
A hierar...
-
In this paper, we offer a balanced response to the problem of logical omniscience, whereby agents are modeled as non-omniscient yet still logically competent reasoners. To achieve this, we account for the deductive steps that form the epistemic state of an agent. In particular,
we introduce oper...
-
In this paper, we present a dynamic epistemic logic suitable for resource-bounded agents. Our setting is informed by empirical evidence on deductive reasoning performance and therefore it avoids the problem of logical omniscience. In particular, we introduce actions capturing how the agent learns...
-
Theory of Mind, the cognitive capacity to attribute internal mental states to oneself and others, is a crucial component of social skills. Its formal study has become important, witness recent research on reasoning and information update by intelligent agents, and some proposals for its formal mo...
-
We investigate the modal logic of stepwise removal of objects, both for its intrinsic interest as a logic of quantification without replacement, and as a pilot study to better understand the complexity jumps between dynamic epistemic logics of model trans- formations and logics of freely chosen g...
-
One of the fundamental normative principles in social choice theory is that of neutrality. In the context of judgment aggregation, neutrality is encoded in the form of an axiom expressing that, when two possible judgments enjoy the same support amongst the individuals, then either both or neither...
-
Many challenging problems of scientific, technological, and societal significance require us to aggregate information sup-plied by multiple agents into a single piece of information of the same type---the collective information representing the stance of the group as a whole. Examples in...
-
We develop a powerful approach that makes modern SAT solving techniques available as a tool to support the axiomatic analysis of economic matching mechanisms. Our central result is a preservation theorem, establishing sufficient conditions under which the possibility of desig...
-
Bipolar Argumentation Frameworks (BAF) are a natural extension of Dung’s Argumentation Frameworks (AF) where a relation of support between arguments is added to the standard attack relation. Despite their interest, BAF present several difficulties and their semantics are quite complex. This paper...
-
In this paper, we study strengthenings of Infinite Times Blum-Shub-Smale-Machines (ITBMs) that were proposed by Seyfferth in [14] and Welch in [15] obtained by modifying the behaviour of the machines at limit stages. In particular, we study Strong Infinite Times Blum-Shub-Smale-Machines (SITBMs),...
-
We prove that the existence of a measurable cardinal is equivalent to the existence of a normal space whose modal logic coincides with the modal logic of the Kripke frame isomorphic to the powerset of a two element set