Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
From MaRDI portal
Publication:645985
DOI10.1016/j.apal.2011.08.005zbMath1250.03047arXiv1106.1323OpenAlexW2034690236MaRDI QIDQ645985
Publication date: 11 November 2011
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1106.1323
Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85)
Related Items
Boolean dependence logic and partially-ordered connectives ⋮ Propositional union closed team logics ⋮ Dependence logic with a majority quantifier ⋮ A double team semantics for generalized quantifiers ⋮ A finite axiomatization of conditional independence and inclusion dependencies ⋮ Frame Theory, Dependence Logic and Strategies ⋮ Axiomatizations of team logics ⋮ Doubly strongly first order dependencies ⋮ On the expressive power of TeamLTL and first-order team logic over hyperproperties ⋮ A parameterized view on the complexity of dependence logic ⋮ Coherence in inquisitive first-order logic ⋮ Separation logic and logics with team semantics ⋮ Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence ⋮ On elementary logics for quantitative dependencies ⋮ On the Presburger fragment of logics with multiteam semantics ⋮ On definability of team relations with \(k\)-invariant atoms ⋮ Embedding causal team languages into predicate logic ⋮ Enumerating teams in first-order team logics ⋮ Unnamed Item ⋮ Questions and dependency in intuitionistic logic ⋮ Complexity of Propositional Independence and Inclusion Logic ⋮ Modal Inclusion Logic: Being Lax is Simpler than Being Strict ⋮ Model-checking games for logics of imperfect information ⋮ The expressive power of modal logic with inclusion atoms ⋮ Alternating (in)dependence-friendly logic ⋮ Modified numerals and split disjunction: the first-order case ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Upwards closed dependencies in team semantics ⋮ Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic ⋮ Strongly first order, domain independent dependencies: the union-closed case ⋮ Parameterized complexity of propositional inclusion and independence logic ⋮ General models and entailment semantics for independence logic ⋮ Axiomatizing first order consequences in inclusion logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Dependence and independence ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Axiomatizing first-order consequences in independence logic ⋮ Transition semantics: the dynamics of dependence logic ⋮ Dynamic Logics of Imperfect Information: From Teams and Games to Transitions ⋮ Team semantics for the specification and verification of hyperproperties ⋮ On the complexity of team logic and its two-variable fragment ⋮ Complexity of validity for propositional dependence logics ⋮ Characterizing quantifier extensions of dependence logic ⋮ Propositional team logics ⋮ Generalized quantifiers in dependence logic ⋮ Complexity of syntactical tree fragments of independence-friendly logic ⋮ Breaking the Atom with Samson ⋮ A logical approach to context-specific independence ⋮ The expressive power of \(k\)-ary exclusion logic ⋮ Characterising modal definability of team-based logics via the universal modality ⋮ Negation and partial axiomatizations of dependence and independence logic revisited ⋮ Approximation and dependence via multiteam semantics ⋮ CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES ⋮ Safe dependency atoms and possibility operators in team semantics ⋮ Team semantics for interventionist counterfactuals: observations vs. interventions ⋮ Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals ⋮ Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals ⋮ Parameterised complexity of model checking and satisfiability in propositional dependence logic ⋮ LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE ⋮ Expressivity and Complexity of Dependence Logic ⋮ Grelling on Dependence ⋮ On Strongly First-Order Dependencies ⋮ Games for Inclusion Logic and Fixed-Point Logic ⋮ Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data ⋮ Dependence and Independence in Social Choice: Arrow’s Theorem ⋮ A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours ⋮ Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions ⋮ Canonical Models and the Complexity of Modal Team Logic ⋮ Dependency Concepts up to Equivalence. ⋮ Unnamed Item ⋮ Complexity thresholds in inclusion logic ⋮ A Logical Approach to Context-Specific Independence ⋮ The Expressive Power of k-ary Exclusion Logic ⋮ Characterizing Relative Frame Definability in Team Semantics via the Universal Modality ⋮ Counting of Teams in First-Order Team Logics ⋮ SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION ⋮ Model Checking and Validity in Propositional and Modal Inclusion Logics ⋮ Characterizing counterfactuals and dependencies over (generalized) causal teams ⋮ INQUISITIVE BISIMULATION ⋮ On Dependence Logic ⋮ Unnamed Item ⋮ The implication problem for functional dependencies and variants of marginal distribution equivalences
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On definability in dependence logic
- From IF to BI. A tale of dependence and separation
- Hybrid logic meets IF modal logic
- Inclusion dependencies and their interaction with functional dependencies
- Hierarchies in Dependence Logic
- On a generalization of quantifiers
- A normal form for relational databases that is based on domains and keys
- Compositional semantics for a language of imperfect information
- Team Logic and Second-Order Logic
