scientific article; zbMATH DE number 7438569
From MaRDI portal
Publication:5013879
zbMath1476.68146arXiv1503.01144MaRDI QIDQ5013879
Nicolas de Rugy-Altherre, Jouko Väänänen, Juha Kontinen, Arnaud Durand
Publication date: 3 December 2021
Full work available at URL: https://arxiv.org/abs/1503.01144
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
On elementary logics for quantitative dependencies ⋮ Approximation and dependence via multiteam semantics ⋮ Complexity thresholds in inclusion logic ⋮ Counting of Teams in First-Order Team Logics
Cites Work
- Unnamed Item
- Unnamed Item
- Model-checking games for logics of imperfect information
- Complexity of two-variable dependence logic and IF-logic
- Inquisitive logic
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Capturing complexity classes by fragments of second-order logic
- Dependence and independence
- Coherence and computational complexity of quantifier-free dependence logic formulas
- A Fragment of Dependence Logic Capturing Polynomial Time
- Hierarchies in Dependence Logic
- Hierarchies in independence logic
- QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES
- Identifying independence in bayesian networks
- Hierarchies in independence and inclusion logic with strict semantics
- A Finite Axiomatization of Conditional Independence and Inclusion Dependencies
This page was built for publication: