Author:
Engström Fredrik,Kontinen Juha,Väänänen Jouko
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference19 articles.
1. Some applications of henkin quantifiers;Barwise;Isr. J. Math.,1976
2. On branching quantifiers in English;Barwise;J. Philos. Log.,1979
3. Skolem normal forms concerning the least fixpoint;Dahlhaus,1987
4. Generalized quantifiers in dependence logic;Engström;J. Log. Lang. Inf.,2012
5. Characterizing quantifier extensions of dependence logic;Engström;J. Symb. Log.,2013
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献