Results 11 to 20 of about 40,356,300 (290)
Probabilistic Team Semantics [PDF]
, 2018 Team semantics is a semantical framework for the study of dependence and independence concepts ubiquitous in many areas such as databases and statistics. In recent works team semantics has been generalised to accommodate also multisets and probabilistic dependencies.
Arnaud Durand 0001 +4 more
openaire +4 more sources
Counting in Team Semantics [PDF]
, 2016 Published by Schloss Dagstuhl - Leibniz-Zentrum für Informatik ...
Grädel, Erich, Hegselmann, Stefan
openaire +5 more sources
The Doxastic Interpretation of Team Semantics [PDF]
, 2015 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.
Pietro Galliani, Galliani P
openaire +3 more sources
Unified Foundations of Team Semantics via Semirings [PDF]
Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, 2023 Semiring semantics for first-order logic provides a way to trace how facts represented by a model are used to deduce satisfaction of a formula. Team semantics is a framework for studying logics of dependence and independence in diverse contexts such as databases, quantum mechanics, and statistics by extending first-order logic with atoms that describe ...
Timon Barlag +4 more
core +7 more sources
Intermediate Logics in the Setting of Team Semantics [PDF]
Several authors have recently defined intuitionistic logic based on team semantics (tIPC). In this paper we provide two alternative approaches to intermediate logics in the team semantics setting. We do this by modifying tIPC with axioms written with two different versions of disjunction in the logic, a local one and global one.
Bezhanishvili, Nick, Yang, Fan
openaire +4 more sources
Decidability of predicate logics with team semantics [PDF]
, 2014 We study the complexity of predicate logics based on team semantics. We show that the satisfiability problems of two-variable independence logic and inclusion logic are both NEXPTIME-complete. Furthermore, we show that the validity problem of two-variable dependence logic is undecidable, thereby solving an open problem from the team semantics ...
Juha Kontinen +2 more
openaire +6 more sources
Temporal Team Semantics Revisited
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022 extended ...
Jens Oliver Gutsfeld +3 more
openaire +11 more sources
Monadic Semantics, Team Logics and Substitution
, 2022 In this thesis we investigate the issue of non-substitutionality of propositional team logics, in particular propositional dependence logic, by semantic means. We establish a general language to discuss semantic systems for logics fundamentally based on consensus of truth in a class of objects.
Lorimer Olsson, Orvar
core +3 more sources
Complexity of Propositional Logics in Team Semantic [PDF]
ACM Transactions on Computational Logic, 2018 We classify the computational complexity of the satisfiability, validity, and model-checking problems for propositional independence, inclusion, and team logic. Our main result shows that the satisfiability and validity problems for propositional team logic are complete for alternating exponential-time with polynomially many alternations.
Miika Hannula +3 more
openaire +4 more sources
Team Semantics for Spatial Reasoning: Locality and Separability.
, 2019 Team Semantics is a generalization of Tarski’s semantics for First Order Logic in which formulas are satisfied or not satisfied by sets of assignments. Despite being reducible to Tarskian semantics over First Order Logic, Team Semantics permits to extend it in novel ways, like for instance by means of new types of atoms that express dependencies ...
Galliani P.
openaire +3 more sources