Author:
Hintikka Jaakko,Sandu Gabriel
Reference105 articles.
1. Abramsky, S., Jagadeesan, R., 1992. Games and Full Completeness for Multiplicative Linear Logic, Technical Report DoC 92/94, Imperial College of Science, Technology and Medicine, London.
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
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Compositionality in Context;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
2. On Semantic Games for Łukasiewicz Logic;Jaakko Hintikka on Knowledge and Game-Theoretical Semantics;2018
3. Equilibrium Semantics for IF Logic and Many-Valued Connectives;Logic, Language, and Computation;2017
4. A Game Semantics for System P;Studia Logica;2016-05-12
5. Hintikka-Style Semantic Games for Fuzzy Logics;Lecture Notes in Computer Science;2014