Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
From MaRDI portal
(Redirected from Publication:645985)
Abstract: We introduce some new logics of imperfect information by adding atomic formulas corresponding to inclusion and exclusion dependencies to the language of first order logic. The properties of these logics and their relationships with other logics of imperfect information are then studied. Furthermore, a game theoretic semantics for these logics is developed. As a corollary of these results, we characterize the expressive power of independence logic, thus answering an open problem posed in (Gr"adel and V"a"an"anen, 2010).
Recommendations
Cites work
- scientific article; zbMATH DE number 6003856 (Why is no real title available?)
- scientific article; zbMATH DE number 5734943 (Why is no real title available?)
- scientific article; zbMATH DE number 3474957 (Why is no real title available?)
- scientific article; zbMATH DE number 1007358 (Why is no real title available?)
- scientific article; zbMATH DE number 972408 (Why is no real title available?)
- A normal form for relational databases that is based on domains and keys
- Compositional semantics for a language of imperfect information
- Dependence logic. A new approach to independence friendly logic
- From IF to BI. A tale of dependence and separation
- Hierarchies in Dependence Logic
- Hybrid logic meets IF modal logic
- Inclusion dependencies and their interaction with functional dependencies
- On a generalization of quantifiers
- On definability in dependence logic
- Signalling in IF games: a tricky business
- Team Logic and Second-Order Logic
- Team logic
Cited in
(90)- The expressive power of \(k\)-ary exclusion logic
- Separation logic and logics with team semantics
- Axiomatizing first order consequences in inclusion logic
- Games for inclusion logic and fixed-point logic
- Grelling on dependence
- Safe dependency atoms and possibility operators in team semantics
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
- Tractability frontier of data complexity in team semantics
- A logical approach to context-specific independence
- Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
- Generalized quantifiers in dependence logic
- Complexity of syntactical tree fragments of independence-friendly logic
- On dependence logic
- Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic
- Embedding causal team languages into predicate logic
- A Logical Approach to Context-Specific Independence
- Team semantics for interventionist counterfactuals: observations vs. interventions
- Characterizing quantifier extensions of dependence logic
- Model-checking games for logics of imperfect information
- General models and entailment semantics for independence logic
- Doubly strongly first order dependencies
- Expressivity and Complexity of Dependence Logic
- The expressive power of modal logic with inclusion atoms
- Team semantics for the specification and verification of hyperproperties
- Characterizing counterfactuals and dependencies over (generalized) causal teams
- scientific article; zbMATH DE number 7453077 (Why is no real title available?)
- A parameterized view on the complexity of dependence logic
- Questions and dependency in intuitionistic logic
- On quantified propositional logics and the exponential time hierarchy
- Characterizing downwards closed, strongly first-order, relativizable dependencies
- Upwards closed dependencies in team semantics
- Upwards closed dependencies in team semantics
- Counting of Teams in First-Order Team Logics
- scientific article; zbMATH DE number 7447734 (Why is no real title available?)
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
- On strongly first-order dependencies
- A double team semantics for generalized quantifiers
- Dependence logic with a majority quantifier
- Logics for propositional determinacy and independence
- Axiomatizations of team logics
- Complexity of Propositional Independence and Inclusion Logic
- Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions
- Dependence and independence
- Enumerating teams in first-order team logics
- On elementary logics for quantitative dependencies
- On definability of team relations with \(k\)-invariant atoms
- On the Presburger fragment of logics with multiteam semantics
- Propositional union closed team logics
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
- scientific article; zbMATH DE number 7056228 (Why is no real title available?)
- Complexity of validity for propositional dependence logics
- Boolean dependence logic and partially-ordered connectives
- Axiomatizing first-order consequences in independence logic
- The implication problem for functional dependencies and variants of marginal distribution equivalences
- Dependence and Independence in Social Choice: Arrow’s Theorem
- Model checking and validity in propositional and modal inclusion logics
- On the complexity of team logic and its two-variable fragment
- A class of automata for the verification of infinite, resource-allocating behaviours
- Propositional team logics
- Coherence in inquisitive first-order logic
- INQUISITIVE BISIMULATION
- Approximation and dependence via multiteam semantics
- The logic of approximate dependence
- Parameterised complexity of model checking and satisfiability in propositional dependence logic
- On the expressive power of TeamLTL and first-order team logic over hyperproperties
- A finite axiomatization of conditional independence and inclusion dependencies
- Dependency Concepts up to Equivalence.
- Compactness in team semantics
- Parameterized complexity of weighted team definability
- Dimension in team semantics
- Approximation logics for subclasses of probabilistic conditional independence and hierarchical dependence on incomplete data
- Dynamic logics of imperfect information: from teams and games to transitions
- Multiteam semantics for interventionist counterfactuals: probabilities and causation
- Modular SAT-based techniques for reasoning tasks in team semantics
- On the succinctness of atoms of dependency
- Strongly first order, domain independent dependencies: the union-closed case
- Frame theory, dependence logic and strategies
- Modal inclusion logic: being lax is simpler than being strict
- The expressive power of \(k\)-ary exclusion logic
- Alternating (in)dependence-friendly logic
- Breaking the atom with Samson
- Parameterized complexity of propositional inclusion and independence logic
- Characterizing relative frame definability in team semantics via the universal modality
- Modified numerals and split disjunction: the first-order case
- scientific article; zbMATH DE number 7407786 (Why is no real title available?)
- Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
- Canonical models and the complexity of modal team logic
- The implication problem for functional dependencies and variants of marginal distribution equivalences
- Complexity thresholds in inclusion logic
This page was built for publication: Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q645985)
