On dependence logic
From MaRDI portal
Abstract: We give an overview of some developments in dependence and independence logic. This is a tiny selection, intended for a newcomer, from a rapidly growing literature on the topic. Furthermore, we discuss conditional independence atoms and we prove that conditional and non-conditional independence logic are equivalent. Finally, we briefly discuss an application of our logics to belief representation.
Recommendations
Cites work
- scientific article; zbMATH DE number 6680142 (Why is no real title available?)
- scientific article; zbMATH DE number 108405 (Why is no real title available?)
- scientific article; zbMATH DE number 3464827 (Why is no real title available?)
- scientific article; zbMATH DE number 1086489 (Why is no real title available?)
- scientific article; zbMATH DE number 4118333 (Why is no real title available?)
- A fragment of dependence logic capturing polynomial time
- A normal form for relational databases that is based on domains and keys
- Axiomatizing first-order consequences in dependence logic
- Compositional semantics for a language of imperfect information
- Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
- Dependence and independence
- Dependence logic. A new approach to independence friendly logic
- Finite Partially‐Ordered Quantifiers
- Finite partially-ordered quantification
- From IF to BI. A tale of dependence and separation
- Hierarchies in Dependence Logic
- Hierarchies in independence logic
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Inclusion dependencies and their interaction with functional dependencies
- Independence in database relations
- Independence-friendly logic. A game-theoretic approach
- Modal Foundations for Predicate Logic
- On definability in dependence logic
- On interchangeability of Nash equilibria in multi-player strategic games
- On the undecidability of implications between embedded multivalued database dependencies
- Relational queries computable in polynomial time
- Upwards closed dependencies in team semantics
Cited in
(33)- Functional dependencies between variables
- Dependence logic. A new approach to independence friendly logic
- Dependence and independence
- scientific article; zbMATH DE number 4061208 (Why is no real title available?)
- Breaking the atom with Samson
- Strongly first order, domain independent dependencies: the union-closed case
- Dependently Sorted Logic
- Explicating logical independence
- Introduction to secret-sharing
- A finite axiomatization of conditional independence and inclusion dependencies
- Dependence logic with a majority quantifier
- Boolean dependence logic and partially-ordered connectives
- Boolean dependence logic and partially-ordered connectives
- Dependence logic in pregeometries and -stable theories
- Dependence logic vs. constraint satisfaction
- A simple logic of functional dependence
- scientific article; zbMATH DE number 3978447 (Why is no real title available?)
- Epistemic operators in dependence logic
- Modal dependence logic
- Team semantics and independence notions in quantum physics
- Dependency as question entailment
- Dependence statements are strict conditionals
- Dependencies between quantifiers vs. dependencies between variables
- A remark on negation in dependence logic
- Dependence of variables construed as an atomic formula
- Compositional natural language semantics using independence friendly logic or dependence logic
- Logics for propositional determinacy and independence
- Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
- Inclusion with repetitions and Boolean constants -- implication problems revisited
- Supervenience, dependence, disjunction
- Grelling on dependence
- Axiomatizing first-order consequences in independence logic
- scientific article; zbMATH DE number 589741 (Why is no real title available?)
This page was built for publication: On dependence logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5249667)
