Results 11 to 20 of about 1,485,809 (311)
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
, Hegselmann, Stefan
core +7 more sources
Team Semantics for the Specification and Verification of Hyperproperties [PDF]
International Symposium on Mathematical Foundations of Computer Science, 2017 We develop team semantics for Linear Temporal Logic (LTL) to express hyperproperties, which have recently been identified as a key concept in the verification of information flow properties.
Andreas Krebs +3 more
semanticscholar +9 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
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 +7 more sources
Independence in Model Theory and Team Semantics [PDF]
The Bulletin of Symbolic Logic, 2018 The
Gianluca Paolini
semanticscholar +4 more sources
A Double Team Semantics for Generalized Quantifiers. [PDF]
J Logic Lang Inf, 2015 We define a semantics for first-order logic with generalized quantifiers based on double teams. We also define and investigate a notion of a generalized atom. Such atoms can be used in order to define extensions of first-order logic with a team-based semantics. We also define a game semantics and compare it with the double team semantics.
Kuusisto A.
europepmc +8 more sources
Team semantics for interventionist counterfactuals and causal dependence [PDF]
, 2017 We introduce a generalization of team semantics which provides a framework for manipulationist theories of causation based on structural equation models, such as Woodward's and Pearl's; our causal teams incorporate (partial or total) information about ...
Fausto Barbero, Gabriel Sandu
core +6 more sources
Team Semantics and Recursive Enumerability [PDF]
, 2014 It is well known that dependence logic captures the complexity class NP, and it has recently been shown that inclusion logic captures P on ordered models.
Antti Kuusisto
core +5 more sources
There are (other) ways to negate in propositional team semantics [PDF]
arXiv.orgThe languages of logics based on team semantics typically only allow atomic negation or restricted negation. In this paper, we explore propositional team-based logics with full (intuitionistic) negation.
Fan Yang
semanticscholar +4 more sources
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity
Foundations of Software Technology and Theoretical Computer Science, 2020 We study the expressivity and the model checking problem of linear temporal logic with team semantics (TeamLTL). In contrast to LTL, TeamLTL is capable of defining hyperproperties, i.e., properties which relate multiple execution traces.
Jonni Virtema +4 more
semanticscholar +8 more sources