-
We define analogues of modal Sahlqvist formulas for the modal
mu-calculus, and prove a correspondence theorem for them.
-
Taking Backward Induction as its running example, this paper explores
avenues for a logic of information-driven social action. We use recent
results on limit phenomena in knowledge update and belief revision,
procedural rationality, and a ‘Theory of Play’ analyzing how games are
played by differe...
-
We propose strategic games wherein the strategies consist of players
asking each other questions and answering those questions. We formally
define simplifications of such games wherein two players
simultaneously ask each other a question that the opponent is then
obliged to answer. The motivation...
-
This chapter generalizes the dynamic epistemic analy- sis of
information flow to deontic logic and normative reasoning, an area
where agents’ evaluation of worlds or outcomes is essential. The
relevant dynamics is taken from current logics of preference structure
and preference change. These logi...
-
Automated deduction is not just application or implementation of
logical systems. The field of computational logic also poses deep
challenges to our understanding of logic itself. I will discuss some
key issues. This text is just an appetizer that will be elaborated in
the lecture.
-
We examine the practice and foundations of mathematics as a form of
general rational agency, using recent perspectives from the dynamic
logic of information-driven agency.
-
Logic and game theory have had a few decades of contacts by now, with
the classical results of epistemic game theory as major
high-lights. In this paper, we emphasize a recent new perspective
toward “logical dynamics”, designing logical systems that focus on the
actions that change information, p...
-
Current methods for solving games embody a form of “procedural
rationality” that invites logical analysis in its own right. This
paper is a brief case study of Backward Induction for extensive games,
replacing earlier static logical definitions by stepwise dynamic
ones. We consider a number of an...
-
This paper looks at deontic logic as resulting from both a
betterness ordering on states (i.e., a `deontic preference') and a priority
ordering on properties (i.e., a `law' explicitly representing a standard of
behavior). The correspondence between these two orderings oers a rich
perspective from...
-
Classical epistemic logic describes implicit knowledge of agents about
facts and knowledge of other agents based on semantic information. The
latter is produced by acts of observation or communication that are
described well by dynamic epistemic logics.What these logics do not
describe, however, ...
-
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 ...