Dependence logic with a majority quantifier

DOI10.4230/LIPIcs.FSTTCS.2011.252zbMath1246.68126arXiv1109.4750OpenAlexW2338270372MaRDI QIDQ2911629

Johannes Ebbing, Juha Kontinen, Heribert Vollmer, Arnaud Durand

Publication date: 31 August 2012

Full work available at URL: https://arxiv.org/abs/1109.4750

zbMATH Keywords

finite model theorydependence logicdescriptive complexitycounting hierarchymajority quantifiersecond order logic

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Descriptive complexity and finite models (68Q19)

Related Items (3)

Dependence logic with a majority quantifier ⋮ Expressivity and Complexity of Dependence Logic ⋮ SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION

This page was built for publication: Dependence logic with a majority quantifier