Dependence Logic with Generalized Quantifiers: Axiomatizations
From MaRDI portal
Publication:2849428
DOI10.1007/978-3-642-39992-3_14zbMath1394.03048arXiv1304.0611MaRDI QIDQ2849428
Juha Kontinen, Jouko Väänänen, Fredrik Engström
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