Publisher
Springer International Publishing
Reference19 articles.
1. Abramsky, S., Väänänen, J.: From IF to BI. Synthese 167, 207–230 (2009). 10.1007/s11229-008-9415-6
2. Abramsky, S., Väänänen, J.: Dependence logic, social choice and quantum physics (2013, in preparation)
3. Durand, A., Kontinen, J.: Hierarchies in dependence logic. CoRR abs/1105.3324 (2011)
4. Engström, F.: Generalized quantifiers in dependence logic. J. Log. Lang. Inf. 21 (3), 299–324 (2012). doi: 10.1007/s10849-012-9162-4
5. Engström, F., Kontinen, J.: Characterizing quantifier extensions of dependence logic. J. Symb. Log. 78 (01), 307–316 (2013)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献