Results 11 to 20 of about 1,530,272 (312)
Inquisitive Team Semantics of LTL [PDF]
arXiv.orgIn this paper, we introduce a novel team semantics of LTL inspired by inquisitive logic. The main features of the resulting logic, we call InqLTL, are the intuitionistic interpretation of implication and the Boolean semantics of disjunction. We show that
Laura Bozzelli +3 more
semanticscholar +4 more sources
Probabilistic Team Semantics [PDF]
International Symposium on Foundations of Information and Knowledge Systems, 2018 Team semantics is a semantical framework for the study of dependence and independence concepts ubiquitous in many areas such as databases and statistics.
Arnaud Durand +4 more
semanticscholar +5 more sources
Counting in Team Semantics [PDF]
Annual Conference for Computer Science Logic, 2016 We explore several counting constructs for logics with team semantics. Counting is an important task in numerous applications, but with a somewhat delicate relationship to logic. Team semantics on the other side is the mathematical basis of modern logics
E. Grädel, S. Hegselmann
semanticscholar +7 more sources
Decidability of Predicate Logics with Team Semantics [PDF]
International Symposium on Mathematical Foundations of Computer Science, 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.
J. Kontinen +2 more
semanticscholar +9 more sources
Team Semantics and Independence Notions in Quantum Physics [PDF]
The Bulletin of Symbolic Logic, 2021 We study dependence and independence concepts found in quantum physics, especially those related to hidden variables and non-locality, through the lens of team semantics and probabilistic team semantics, adapting a relational framework introduced by the ...
Jouko Väänánen +2 more
semanticscholar +4 more sources
Facets of Distribution Identities in Probabilistic Team Semantics [PDF]
European Conference on Logics in Artificial Intelligence, 2019 We study probabilistic team semantics which is a semantical framework allowing the study of logical and probabilistic dependencies simultaneously. We examine and classify the expressive power of logical formalisms arising by different probabilistic atoms
Miika Hannula +4 more
semanticscholar +8 more sources
The Doxastic Interpretation of Team Semantics [PDF]
, 2013 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 ...
Pietro Galliani
core +5 more sources
Independence in Model Theory and Team Semantics [PDF]
The Bulletin of Symbolic Logic, 2018 The
Gianluca Paolini
semanticscholar +3 more sources
Strongly First Order Disjunctive Embedded Dependencies in Team Semantics [PDF]
European Conference on Logics in Artificial IntelligenceFirst Order Team Semantics is a generalization of Tarskian Semantics in which formulas are satisfied with respect to sets of assignments. In Team Semantics, it is possible to extend First Order Logic via new types of atoms that describe dependencies ...
Pietro Galliani
semanticscholar +4 more sources
Synchronous Team Semantics for Temporal Logics [PDF]
arXiv.orgWe present team semantics for two of the most important linear and branching time specification languages, Linear Temporal Logic (LTL) and Computation Tree Logic (CTL).
Andreas Krebs +3 more
semanticscholar +4 more sources