1,259 research outputs found
Transition Semantics - The Dynamics of Dependence Logic
We examine the relationship between Dependence Logic and game logics. A
variant of Dynamic Game Logic, called Transition Logic, is developed, and we
show that its relationship with Dependence Logic is comparable to the one
between First-Order Logic and Dynamic Game Logic discussed by van Benthem. This
suggests a new perspective on the interpretation of Dependence Logic formulas,
in terms of assertions about reachability in games of im- perfect information
against Nature. We then capitalize on this intuition by developing expressively
equivalent variants of Dependence Logic in which this interpretation is taken
to the foreground
The Doxastic Interpretation of Team Semantics
We advance a doxastic interpretation for many of the logical connectives
considered in Dependence Logic and in its extensions, and we argue that Team
Semantics is a natural framework for reasoning about beliefs and belief
updates
Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information
We introduce some new logics of imperfect information by adding atomic
formulas corresponding to inclusion and exclusion dependencies to the language
of first order logic. The properties of these logics and their relationships
with other logics of imperfect information are then studied. Furthermore, a
game theoretic semantics for these logics is developed. As a corollary of these
results, we characterize the expressive power of independence logic, thus
answering an open problem posed in (Gr\"adel and V\"a\"an\"anen, 2010)
Upwards Closed Dependencies in Team Semantics
We prove that adding upwards closed first-order dependency atoms to
first-order logic with team semantics does not increase its expressive power
(with respect to sentences), and that the same remains true if we also add
constancy atoms. As a consequence, the negations of functional dependence,
conditional independence, inclusion and exclusion atoms can all be added to
first-order logic without increasing its expressive power.
Furthermore, we define a class of bounded upwards closed dependencies and we
prove that unbounded dependencies cannot be defined in terms of bounded ones.Comment: In Proceedings GandALF 2013, arXiv:1307.416
Characterizing downwards closed, strongly first order, relativizable dependencies
In Team Semantics, a dependency notion is strongly first order if every
sentence of the logic obtained by adding the corresponding atoms to First Order
Logic is equivalent to some first order sentence. In this work it is shown that
all nontrivial dependency atoms that are strongly first order, downwards
closed, and relativizable (in the sense that the relativizations of the
corresponding atoms with respect to some unary predicate are expressible in
terms of them) are definable in terms of constancy atoms.
Additionally, it is shown that any strongly first order dependency is safe
for any family of downwards closed dependencies, in the sense that every
sentence of the logic obtained by adding to First Order Logic both the strongly
first order dependency and the downwards closed dependencies is equivalent to
some sentence of the logic obtained by adding only the downwards closed
dependencies
Epistemic Logic with Partial Dependency Operator
In this paper, we introduce dependency modality
into epistemic logic so as to reason about
dependency relationship in Kripke models. The resulted dependence epistemic
logic possesses decent expressivity and beautiful properties. Several
interesting examples are provided, which highlight this logic's practical
usage. The logic's bisimulation is then discussed, and we give a sound and
strongly complete axiomatization for a sub-language of the logic
- …