![Semantics / Formal languages / Predicate logic / Independence-friendly logic / Game semantics / Interpretation / First-order logic / Model theory / Entailment / Logic / Philosophical logic / Metalogic Semantics / Formal languages / Predicate logic / Independence-friendly logic / Game semantics / Interpretation / First-order logic / Model theory / Entailment / Logic / Philosophical logic / Metalogic](https://www.pdfsearch.io/img/8991c47189856b2817694f02a1070ee3.jpg)
| Document Date: 2013-06-06 21:36:07 Open Document File Size: 278,27 KBShare Result on Facebook
IndustryTerm social software / / Organization Oxford University / / Person Gordon Plotkin / Gilles Kahn / Game Semantics / Samson Abramsky / Johan van Benthem / / ProvinceOrState Louisiana / / PublishedMedium Theoretical Computer Science / the Theoretical Computer Science / /
SocialTag |