[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 …

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 …

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 …

A van Benthem theorem for modal team semantics

J Kontinen, JS Müller, H Schnoor, H Vollmer - arXiv preprint arXiv …, 2014 - arxiv.org
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 …

Complexity of propositional logics in team semantic

M Hannula, J Kontinen, J Virtema… - ACM Transactions on …, 2018 - dl.acm.org
We classify the computational complexity of the satisfiability, validity, and model-checking
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 …

Model checking and validity in propositional and modal inclusion logics

L Hella, A Kuusisto, A Meier… - Journal of Logic and …, 2019 - academic.oup.com
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 …

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 …

[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 …

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 …