[HTML][HTML] Propositional logics of dependence
F Yang, J Väänänen - Annals of Pure and Applied Logic, 2016 - Elsevier
In this paper, we study logics of dependence on the propositional level. We prove that
several interesting propositional logics of dependence, including propositional dependence …
several interesting propositional logics of dependence, including propositional dependence …
Team semantics for interventionist counterfactuals: observations vs. interventions
F Barbero, G Sandu - Journal of Philosophical Logic, 2021 - Springer
Team semantics is a highly general framework for logics which describe dependencies and
independencies among variables. Typically, the (in) dependencies considered in this …
independencies among variables. Typically, the (in) dependencies considered in this …
Team logic: axioms, expressiveness, complexity
M Lück - 2020 - repo.uni-hannover.de
Team semantics is an extension of classical logic where statements do not refer to single
states of a system, but instead to sets of such states, called teams. This kind of semantics …
states of a system, but instead to sets of such states, called teams. This kind of semantics …
A van Benthem theorem for modal team semantics
The famous van Benthem theorem states that modal logic corresponds exactly to the
fragment of first-order logic that is invariant under bisimulation. In this article we prove an …
fragment of first-order logic that is invariant under bisimulation. In this article we prove an …
Complexity of propositional logics in team semantic
We classify the computational complexity of the satisfiability, validity, and model-checking
problems for propositional independence, inclusion, and team logic. Our main result shows …
problems for propositional independence, inclusion, and team logic. Our main result shows …
Logic of Awareness in Agent's Reasoning
Y Kubono, T Racharak, S Tojo - arXiv preprint arXiv:2309.09214, 2023 - arxiv.org
The aim of this study is to formally express awareness for modeling practical agent
communication. The notion of awareness has been proposed as a set of propositions for …
communication. The notion of awareness has been proposed as a set of propositions for …
Model checking and validity in propositional and modal inclusion logics
Propositional and modal inclusion logic are formalisms that belong to the family of logics
based on team semantics. This article investigates the model checking and validity problems …
based on team semantics. This article investigates the model checking and validity problems …
Expressivity and complexity of dependence logic
A Durand, J Kontinen, H Vollmer - Dependence Logic: Theory and …, 2016 - Springer
In this article we review recent results on expressivity and complexity of first-order, modal,
and propositional dependence logic and some of its variants such as independence and …
and propositional dependence logic and some of its variants such as independence and …
[HTML][HTML] Axiomatizations of team logics
M Lück - Annals of Pure and Applied Logic, 2018 - Elsevier
In a modular approach, we lift Hilbert-style proof systems for propositional, modal and first-
order logic to generalized systems for their respective team-based extensions. We obtain …
order logic to generalized systems for their respective team-based extensions. We obtain …
Modal dependence logics: axiomatizations and model-theoretic properties
F Yang - Logic Journal of the IGPL, 2017 - academic.oup.com
Modal dependence logics are modal logics defined on the basis of team semantics and
have the downward closure property. In this article, we introduce sound and complete …
have the downward closure property. In this article, we introduce sound and complete …