scientific article
From MaRDI portal
Publication:3384878
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1808.00710
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Cites Work
- A double team semantics for generalized quantifiers
- Transition semantics: the dynamics of dependence logic
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic
- Dependence and independence
- Epistemic operators in dependence logic
- Generalized quantifiers in dependence logic
- Independence in Database Relations
- Hierarchies in Inclusion Logic with Lax Semantics
- Hierarchies in Dependence Logic
- Hierarchies in independence logic
- Compositional semantics for a language of imperfect information
- On the complexity of team logic and its two-variable fragment
- Expressivity and Complexity of Dependence Logic
- On Strongly First-Order Dependencies
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
- Team Logic and Second-Order Logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
