-
We present a framework for epistemic logic, modeling the logical aspects of System 1 (“fast”) and System 2 (“slow”) cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic
Logic. It models non-log...
-
The filtration method for proving decidability in a focused minimal manner is a highlight of modal logic, widely used, but also posing a bit of a challenge as to its scope and what makes it tick. In this paper, we bring together a number of modern perspectives on filtration, including model-theor...
-
We introduce Arbitrary Public Announcement Logic with Memory (APALM), obtained by adding to the models a 'memory' of the initial states, representing the information before any communication took place ("the prior"), and adding to the syntax operators that can access this memory. We show that APA...
-
-
An abstract argumentation framework can be used to model the argumentative stance of an agent at a high level of abstraction, by indicating for every pair of arguments that is being considered in a debate whether the first attacks the second. When modelling a group of agents engaged in such a deb...
-
When aggregating the judgments of a group of agents, an important consideration concerns the fairness of the aggregation process. This is the fundamental idea behind the neutrality axiom in social choice theory: if two judgments enjoy the same support amongst the agents, either both or neither of...
-
We introduce a model of judgment aggregation in which individuals do not necessarily have full information regarding the judgments held by their peers. This intuitively limits an individual’s ability to strategically manipulate the aggregation process. Our results confirm this basic intuition. Sp...
-
We develop a model for the aggregation of preferences that do not need to be either complete or transitive. Our focus is on the normative characterisation of aggregation rules under which each agent has a weight that depends only on the size of her ballot, i.e., on the number of pairs of alternat...
-
Suppose you need to determine the correct answer to a complex question that depends on two logically independent premises. You can ask several agents to each evaluate either just one of those premises (which they can do with relatively high accuracy) or both premises (in which case their need to ...
-
Judgment aggregation (JA) studies how to aggregate truth valuations on logically related issues. Computing the outcome of aggregation procedures is notoriously computationally hard, which is the likely reason that no implementation of them exists as of yet. However, even hard problems sometimes n...
-
Sun Tzu in his book “The Art of War”, strongly recommends gen-
erals to analyse a combat scenario before actually engaging in combat.
This analysis can be understood to require some form of game analysis.
In this paper we will discuss whether it is appropriate to ascribe a
game theoretical pe...