Dependence Logic

DOI10.1007/978-3-319-31803-5MaRDI QIDQ2799347zbMATH OpenOpenAlexFDO

Authors

Publication date 8 April 2016

Full work available at URL https://doi.org/10.1007/978-3-319-31803-5

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Other nonclassical logic (03B60)

Cited in

(7)

• Enumerating teams in first-order team logics
• scientific article; zbMATH DE number 5714261 (Why is no real title available?)
• On the complexity of team logic and its two-variable fragment
• Canonical models and the complexity of modal team logic
• Good-for-Game QPTL: An Alternating Hodges Semantics
• Parameterised complexity of model checking and satisfiability in propositional dependence logic
• Temporal team semantics revisited

This page was built for publication: Dependence Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2799347)