Dependence Logic
From MaRDI portal
Publication:2799347
DOI10.1007/978-3-319-31803-5zbMath1348.03004OpenAlexW2186175345MaRDI QIDQ2799347
No author found.
Publication date: 8 April 2016
Full work available at URL: https://doi.org/10.1007/978-3-319-31803-5
Proceedings of conferences of miscellaneous specific interest (00B25) Other nonclassical logic (03B60) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (5)
Enumerating teams in first-order team logics ⋮ On the complexity of team logic and its two-variable fragment ⋮ Parameterised complexity of model checking and satisfiability in propositional dependence logic ⋮ Canonical Models and the Complexity of Modal Team Logic ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics
This page was built for publication: Dependence Logic
