Publisher
Springer International Publishing
Reference13 articles.
1. Apt, K., Grädel, E. (eds.): Lectures in Game Theory for Computer Scientists. Cambridge University Press, Cambridge (2011)
2. Blass, A., Gurevich, Y.: Henkin quantifiers and complete problems. Ann. Pure Appl. Logic 32, 1–16 (1986)
3. Dahlhaus, E.: Skolem normal forms concerning the least fixed point. In: Börger, E. (ed.) Computation Theory and Logic. Lecture Notes in Computer Science, vol. 270, pp. 101–106. Springer, Berlin (1987)
4. Engström, F.: Generalized quantifiers in dependence logic. J. Logic Lang. Inf. 21, 299–324 (2012)
5. Galliani, P.: Inclusion and exclusion in team semantics — on some logics of imperfect information. Ann. Pure Appl. Logic 163, 68–84 (2012)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Axiomatizing first order consequences in inclusion logic;Mathematical Logic Quarterly;2020-06-23
2. Complexity Thresholds in Inclusion Logic;Logic, Language, Information, and Computation;2019