-
We propose XPathMark, an XPath benchmark for XMark. It consists of a set of
queries which covers the main aspects of XPath 1.0. These queries have been
designed for XML documents generated under the popular XMark benchmark.
-
The received view about indexicals holds that they are directly
referential expressions, and that the semantic contribution of an
indexical consists of that thing or individual to which the indexical
refers in the context of its utterance. The aim of this paper is to
put forward a different pictu...
-
Dynamic epistemic logics describe multi-agent information date
triggered by speech acts or general events. This paper surveys some
basic research lines in this paradigm, and identifies some 30 open
problems for furtherresearch. This survey will appear in
T. Rozhkovskaya, ed., "Mathematical Proble...
-
The Guarded Fragment can be viewed in two ways: as a large decidable
fragment of first-order logic over standard models, or as a reflection
of a generalized semantics for the complete first-order language. We
prove that the two perspectives are mutually reducible. We also show
how this duality s...
-
-
Current dynamic epistemic logics for analyzing effects of
informational events often become cumbersome and opaque when common
knowledge is added for groups of agents. Still, postconditions
involving common knowledge are essential to successful multi-agent
communication. We propose new systems tha...
-
Many cognitive activities are irreducibly social, involving
interaction between several different agents. We look at some examples
of this in linguistic communication and games, and show how logical
methods provide exact models for the relevant information flow and
world change. Finally, we discu...
-
We investigate the complexity jump which occurs when an algorithm of
known complexity is turned into a game by adding an opposing
player. Our specific examples are reachability and circuit algorithms,
which now have a Demon trying to prevent successful completion. We get
a PSPACE upper bound by t...
-
We present a generalization of Segerberg?s onion semantics for belief
revision, in which the linearity of the spheres need not occur. The
resulting logic is called broccoli logic. We provide a minimal
relational logic, introducing a new neighborhood semantics
operator. We then show that broccoli ...
-
The belief-desire model underlying game-theoretical (GT) analysis of
strategic interaction has been criticized by philosopher of action,
such as Michael Bratman, who stressed that it cannot account for the
role played by intentions and plans. How should GT react to this? I
will argue that it alre...
-
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...