DOI10.1016/j.jcss.2017.03.010zbMath1423.03110MaRDI QIDQ2361348
Juha Kontinen, Jouko Väänänen, Fredrik Engström
Publication date: 30 June 2017 Published in: Journal of Computer and System Sciences (Search for Journal in Brave) Full work available at URL: http://hdl.handle.net/10138/214806
zbMATH Keywords
natural deduction; dependence logic; generalized quantifiers; branching quantifiers
Mathematics Subject Classification ID
03B60: Other nonclassical logic
03C80: Logic with extra quantifiers and operators