Author:
Hintikka Jaakko,Sandu Gabriel
Reference103 articles.
1. Games and full completeness for multiplicative linear logic;Abramsky,1992
2. Some applications of Henkin quantifiers;Barwise;Israel J. Math.,1976
3. On branching quantifiers in English;Barwise;J. Philos. Logic,1979
4. Semantic entailment and formal derivability;Beth;Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, n.s.,1955
5. A game semantics for linear logic;Blass;Ann. Pure Appl. Logic,1992
Cited by
119 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献