-
We present some results concerning definability of classes of
topological spaces in hybrid languages. We use language $L_t$
described in Flum and Ziegler's monograph "Topological Model Theory"
to establish notion of ``elementarity'' for classes of topological
spaces. We use it to prove the analog...
-
In this paper we discus work in progress on interpretability
logics. We show how semantical considerations have allowed us to
formulate non-trivial principles about formalized interpretability. In
particular we falsify the conjecture about the nature of the
interpretability logic of all reasonabl...
-
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...
-