Dependence Logic: A New Approach to Independence Friendly Logic

ISBN: 9780521700153 出版年：2007 页码：237 Vaananen Cambridge University Press

Preface 1. Introduction 2. Preliminaries 3. Dependence logic 4. Examples 5. Game theoretic semantics 6. Model Theory 7. Complexity 8. Team logic 9. Solutions to selected exercises by Ville Nurmi References Index.