DOI10.1007/978-3-662-45824-2_7zbMath1304.03071arXiv1401.3235MaRDI QIDQ2937394
Miika Hannula
Publication date: 9 January 2015 Published in: Logic and Its Applications, ACM Transactions on Computational Logic (Search for Journal in Brave) Full work available at URL: https://arxiv.org/abs/1401.3235
zbMATH Keywords
independence; hierarchy; dependence; team semantics; descriptive complexity; inclusion
Mathematics Subject Classification ID
03B60: Other nonclassical logic
68Q19: Descriptive complexity and finite models