-
History based models, introduced by Parikh and Ramanujam, provide a
natural mathematical model of social interactive situations. These
models offer a "low level" description of a social situation -
describing the situation in terms of events, sequences of events, and
the agents' view of these eve...
-
Artemov introduced the Logic of Proofs ($\LP$) as a logic of explicit
proofs. We can also offer an epistemic reading of this formula: "$t$
is a possible justification of $\phi$". Motivated, in part, by this
epistemic reading, Fitting introduced a Kripke style semantics for
$\LP$ in [Fitting]. ...
-
This is a chapter in the forthcoming "Handbook of Modal Logic",
written as an introduction to the modus operandi of keeping a balance
between expressive power and complexity found in modal languages. With
this theme as a running thread, we survey the basic model theory of
modal logic over both mo...
-
In this paper we take up the study of Henkin quantifiers with boolean
variables also known as partially ordered connectives. We consider
first-order formulae prefixed by partially ordered connectives,
denoted D, on finite structures. We characterize D as a fragment of
second-order existential log...
-
In this paper, we study the game-theoretic and computational repercussions
of Henkins partially ordered quantifiers. After defining a gametheoretic
semantics for these objects, we observe that tuning the parameter
of absentmindedness gives rise to quantifier prefixes studied. In the
interest of c...
-
Both logic and game theory have developed an interest in analyzing
what constitutes rational behaviour under uncertainty. One particular
interesting encounter between logic and game theory is the use of
belief revision techniques as a means of analysis of games.
The game-theoretic analysis of ra...
-
This paper explores ways to introduce commitment, as conceived in
terms of plans and intentions, into decision theory. An
intention-based representation theorem is proved, along with a
proposal to model how plans simplify decision making for
resource-bounded agents.
-
We discuss the thesis formulated by Hintikka (1973) that certain
natural language sentences require non-linear quantification to
express their meaning. Our basic assumption is that a criterion for
adequacy of meaning representation is compatibility with sentence
truth-conditions. This can be est...
-
We discuss the neuroimaging study (McMillan et al., 2005). According
to the authors their results verify a particular computational model
of natural language quantifier comprehension posited by several
linguists and logicians (see Van Benthem, 1986). We challenge this
statement by evoking the com...
-
Diversity of agents is investigated in the context of standard
epistemic logic, dynamic information update, and belief revision. We
provide a systematic discussion of different sources of diversities,
such as introspection ability, powers of observation, memory capacity,
and revision policies. In...
-
We define preference in terms of a constraint sequence, a concept from
optimality theory. In case agents only have incomplete information,
beliefs are introduced. We propose three definitions to describe
dierent procedures agents may follow to get a preference relation
using the incomplete inform...