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.1323MaRDI 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
03B60: Other nonclassical logic
03C80: Logic with extra quantifiers and operators
03C85: Second- and higher-order model theory
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Characterizing quantifier extensions of dependence logic, Breaking the Atom with Samson, LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE, INQUISITIVE BISIMULATION, Unnamed Item, Unnamed Item, The expressive power of modal logic with inclusion atoms, Axiomatizing first order consequences in inclusion logic, Team semantics for the specification and verification of hyperproperties, On the complexity of team logic and its two-variable fragment, CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES, 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, Canonical Models and the Complexity of Modal Team Logic, Dependency Concepts up to Equivalence., Unnamed Item, 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, On Dependence Logic, 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, Complexity thresholds in inclusion logic, COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES, Strongly first order, domain independent dependencies: the union-closed case, A logical approach to context-specific independence, Dependence logic with a majority quantifier, A double team semantics for generalized quantifiers, Model-checking games for logics of imperfect information, Axiomatizing first-order consequences in independence logic, Transition semantics: the dynamics of dependence logic, Complexity of validity for propositional dependence logics, Propositional team logics, Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions, Upwards closed dependencies in team semantics, Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic, Approximation and dependence via multiteam semantics, General models and entailment semantics for independence logic, Dependence and independence, Complexity of syntactical tree fragments of independence-friendly logic, Safe dependency atoms and possibility operators in team semantics, Team semantics for interventionist counterfactuals: observations vs. interventions, Characterizing counterfactuals and dependencies over (generalized) causal teams, The implication problem for functional dependencies and variants of marginal distribution equivalences, Propositional union closed 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, Questions and dependency in intuitionistic logic, Generalized quantifiers in dependence logic, 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, Boolean dependence logic and partially-ordered connectives, A finite axiomatization of conditional independence and inclusion dependencies, Axiomatizations of team logics, A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours, 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, Complexity of Propositional Independence and Inclusion Logic, Modal Inclusion Logic: Being Lax is Simpler than Being Strict, Unnamed Item, Dynamic Logics of Imperfect Information: From Teams and Games to Transitions, Frame Theory, Dependence Logic and Strategies
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
