-
The motivation behind this paper is to look at temporal information in
models of BMS product update. That is, it may be useful to look at
models produced through taking products with action models, as being
structurally similar to game trees. So a state in a product can be
seen as encoding a hist...
-
We consider the notion of "everyday language". We claim that everyday
language is semantically bounded by properties expressible in the
existential fragment of second-order logic. Two arguments for this
thesis are formulated. Firstly, we show that so-called Barwise's test
of negation normality (B...
-
Incoming information not only changes our knowledge but also our
preferences. Decisions are made according to the preferences, which
are eventually based on our evaluations of the options. In this paper,
we will explore the ways new information affects our evaluations to
see how this results in a...
-
We develop a dynamic modal logic that can be used to model scenarios
where agents negotiate over the allocation of a finite number of
indivisible resources. The logic includes operators to speak about
both preferences of individual agents and deals regarding the
reallocation of certain resources....
-
We study a framework for multiagent resource allocation where autonomous software agents negotiate over the allocation of bundles of indivisible resources. Connections to well-known combinatorial optimisation problems, including the winner determination problem in combinatorial auctions, shed lig...
-
We survey a number of decidablity and undecidablity results concerning
epistemic temporal logic. The goal is to provide a general picture
which will facilitate the `sharing of ideas' from a number of
different areas concerned with modeling agents in interactive social
situations.
-
Statements not only update our current knowledge, but also have other
dynamic effects. In particular, suggestions or commands `upgrade' our
preferences by changing the current order among worlds. We present a
complete logic of knowledge update plus preference upgrade that works
with dynamic-epist...
-
-
The aim of the present paper is to discuss two different ways of
formulating independence friendly (IF) modal logic. In one of them,
the language of basic modal logic is enriched with the slash notation
familiar from IF first-order logics, and the resulting logic is
interpreted in terms of games ...
-
In the year 2006, 100 years after G~del's birth, it is time to think
about the lasting values of his achievements. In this paper I will be
concerned with his most famous results, his two incompleteness
theorems1. In Section 2, a rough version of the theorems and the in my
opinion main achievement...
-
Against the backdrop of current research into 'logical dynamics' of information, we discuss two-way connections between conversation and computation. This leads to a broader perspective on both, using ideas from both computational and philosophical logic. In particular, we discuss merges between ...