-
Counterpart semantics is proposed as the appropriate semantical
framework for a foundational investigation of quantified modal
logics. It turns out to be a limit case of the categorical semantics
of relational universes introduced by Ghilardi and Meloni in 1988. The
main result is a deeper unders...
-
We discuss recent formats for theory structure
and theory update in the philosophy of science,
using ideas from epistemic and dynamic logic.
-
We characterize the structural properties of
dynamic inference in general update models,
and show that these are exactly the ones of
public update in epistemic logic.
-
Bernard Bolzano's logical system still has
quite relevant features today. We discuss
three of these: general styles of reasoning
and their structural properties, the role
of vocabulary in inference, and local
consequence inside models.
-
We analyze IF/hyperclassical games by bringing
together two viewpoints from Jaakko Hintikka's
work: game semantics, and epistemic logic.
In the process, we link up more generally
between logic and game theory.
-
We present logic games as a subject in their
own right, as a model for agent interaction.
We survey most basic logic games, and bring
out their common features using game logics.
We also discuss what happens when we import
more realistic features from game theory,
such as players' preferences, ...
-
Game-theoretic solution concepts describe sets of strategy profiles
that are optimal for all players in some plausible sense. Such sets
are often found by recursive algorithms like iterated removal of
strictly dominated strategies in strategic games, or backward
induction in extensive games. Stan...
-
'One is a Lonely Number':
on the logic of communication
Johan van Benthem
Abstract:
Logic is not just about single-agent notions
like reasoning, or zero-agent notions like
truth, but also about communication between
two or more people. What we tell and ask
each other can be just as logical a...
-
Categorial grammars are driven by substructural
logics. These are fragments of modal logics for
the structures the grammar deals with. We discuss
modal languages as a means of access to families
of relevant structures: formal languages, type
hierarchies, relation algebras c.q. arrow models,
and...
-
Dynamic update of information is the dernier cri in logical semantics.
And it is old hat in Bayesian probabilistic reasoning. This note brings
the two perspectives together, and proposes a mechanism for updating
probabilities while changing the informational state spaces.
-
We present a (sound and complete) tableau calculus for Quantified
Hybrid Logic (QHL). QHL is an extension of orthodox quantified modal
logic: as well as the usual Box and Diamond modalities it contains
names for (and variables over) states, operators @_s for asserting
that a formula holds at a na...