Skip to content

Dependence Logic with Generalized Quantifiers: Axiomatizations.

Fredrik Engstrm, Juha Kontinen, Jouko A. Vnnen

VenueCWoLLIC
Year2013
ProceedingsWoLLIC

Browse the full WoLLIC paper archive.