Dependence Logic with Generalized Quantifiers: Axiomatizations

DOI10.1007/978-3-642-39992-3_14zbMath1394.03048arXiv1304.0611OpenAlexW1576023561MaRDI QIDQ2849428

Juha Kontinen, Fredrik Engström, Jouko Väänänen

Publication date: 17 September 2013

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80)

Related Items (3)

Boolean dependence logic and partially-ordered connectives ⋮ A double team semantics for generalized quantifiers ⋮ SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION

This page was built for publication: Dependence Logic with Generalized Quantifiers: Axiomatizations