-
We study a propositional polymodal provability logic GLP introduced by
G. Japaridze. The previous treatments of this logic, due to Japaridze
and Ignatiev, heavily relied on some non-finitary principles such as
transfinite induction up to \epsilon_0 or reflection principles. In
fact, the closed fr...
-
The paper studies the phenomenon of signalling in logics for imperfect
information, such as Hintikka's IF logic. It is shown that signalling
is a phenomenon that at the one hand is essential for the semantics,
but at the other hand is a source of tricky phenomena. Several
properties which in the ...
-
-
-
Epistemic logic has moved away somewhat from general epistemology. In
this paper, we show that bridges between the two areas still exist,
and that contacts can be extremely close. Examples include: knowledge
and calculus of evidence, scepticism, dynamics of information,
learning and verification,...
-
Contacts between logic and philosophy are described in the form of
several historical story lines, showing how subjects migrate naturally
between logic, philosophy, and other areas such as mathematics,
linguistics, or computer science. Examples include conditional
reasoning and belief revision, e...
-
This is a brief and perhaps controversial, personal statement about
what I see as major problems facing logic and philosophy to-day. The
title is actually from Lenin's famous pamphlet in 1902, but that was
the choice of Ermanno Bencivenga, the editor of the issue of "Topoi"
where this paper is go...
-
Issues in Multiagent Resource Allocation
Yann Chevaleyre, Paul E. Dunne, Ulle Endriss, Jerome Lang, Michel Lemaitre,
Nicolas Maudet, Julian Padget, Steve Phelps, Juan A. Rodrigues-Aguilar,
Paulo Sousa
Abstract:
The allocation of resources within a system of autonomous agents, that
not only h...
-
-
This paper explores the use of temporal logics in the context of
communication protocols for multiagent systems. We concentrate on
frameworks where protocols are used to specify the conventions of
social interaction, rather than making reference to the mental states
of agents. Model checking can ...
-