-
Multi-agent belief dynamics:
bridges between dynamic doxastic and doxastic temporal logics
Johan van Benthem, Cédric Dégrémont
Abstract:
We analyze the temporal behavior of agents updating their beliefs
according to the dynamic-epistemic priority rule, and prove a
representation theorem for the ...
-
We give a survey of dynamic logics of actions that are relevant
to the semantics and pragmatics of natural language, while
emphasizing influences from computer science and AI.
-
We introduce some new logics of imperfect information by adding atomic
formulas corresponding to inclusion and exclusion dependencies to the
language of first order logic. The properties of these logics and
their relationships with other logics of imperfect information are
then studied. Furthermo...
-
We give alternative characterizations of exact, extendible and
projective formulas in intuitionistic propositional calculus IPC in
terms of n-universal models. From these characterizations we derive a
new syntactic description of all extendible formulas of IPC in two
variables. For the formulas i...
-
Hamkins and Löwe proved that the modal logic of forcing is S4.2. In
this paper, we consider its modal companion, the intermediate logic KC
and relate it to the fatal Heyting algebra H_ZFC of forcing persistent
sentences. This Heyting algebra is equationally generic for the class
of fatal Heyting ...
-
Various methods exists in the literature for denoting the
configuration of a Turing Machine. A key difference is whether the
head position is indicated by some integer (mathematical
representation) or is specified by writing the machine state next to
the scanned tape symbol (intrinsic representat...
-
This paper develops a logic that combines the main features of dynamic
epistemic logic with those of inquisitive semantics. We argue that
this merge helps both traditions a step further. From the viewpoint of
dynamic epistemic logic, the main benefit lies in the fact that
inquisitiveness does not...
-
We present a theory of word alignments in machine translation (MT)
that equips every word alignment with a hierarchical representation
with exact semantics defined over the translation equivalence
relations known as hierarchical phrase pairs. The hierarchical
representation consists of a set of s...
-
This study investigates potential differences between musicians and
non-musicians in their perception of meter. Listeners with a variety
of musical backgrounds were asked to judge the complexity of rhythms
with 4/4 time signature in a Web-based perception experiment (N = 101).
The complexity judg...
-
How should we aggregate the individual views of the members of a group
so as to arrive at an adequate representation of the collective view
of that group? This is a fundamental question of deep philosophical,
economic, and political significance that, around the middle of 20th
century, has given ...
-
We give an introduction to social choice theory, the formal study of
mechanisms for collective decision making, and highlight the role that
logic has taken, and continues to take, in its development. The first
part of the chapter is devoted to a succinct exposition of the
axiomatic method in soci...