-
Van Benthem, Gerbrandy, Hoshi and Pacuit gave a natural translation of
dynamic epistemic logic (DEL) into epistemic temporal logic (ETL) and
proved a representation theorem, characterizing those ETL models that
are translations of some DEL protocol; among the characterizing
properties we also fin...
-
It is well-known that if we assume a large class of sets of reals to
be determined then we may conclude that all sets in this class have
certain regularity properties: we say that determinacy implies
regularity properties "classwise". In [Lo05] the "pointwise" relation
between determinacy and cer...
-
-
Binary aggregation studies problems in which individuals express
yes/no choices over a number of possibly correlated issues, and these
individual choices need to be aggregated into a collective choice. We
show how several classical frameworks of Social Choice Theory,
particularly preference and j...
-
The problem of merging several ontologies has important applications
in the Semantic Web, medical ontology engineering, and other domains
where information from several distinct sources needs to be integrated
in a coherent manner. We propose to treat ontology merging as a
problem of social choice...
-
Social choice theory studies of how groups of people should and do
make collective decisions. In this talk I will argue that modern logic
can contribute to the study of social choice theory in many different
ways, and I will substantiate this claim with examples from recent
work by members of my ...
-
We describe the planning problem within the framework of dynamic
epistemic logic (DEL), considering the tree of sequences of events as
the underlying structure. In general, the DEL planning problem is
computationally difficult to solve. On the other hand, a great deal of
fruitful technical advanc...
-
Aiming at a formal representation of narratives that captures the
intuitive notion of "being the same story", we discuss the comparison
of two different formal frameworks.
-
In this paper, we present a novel approach to clustering and
classification of music. The approach is based on the concept of
interval categories, which is a theoretical, but perceptually
motivated construct that groups sets of pitch events into six
different categories each of which has its own ...
-
This paper adds evidence structure to standard models of belief, in
the form of families of sets. We show how these more fine-grained
models support natural actions of ``evidence management'', ranging
from update with external new information to internal rearrangement.
We show how this perspectiv...
-
We explore some recent directions for the logical foundations
of social action that emerge from contacts between logic,
game theory, philosophy, and computer science.