Independence-Friendly Logic: A Game-Theoretic Approach available in Paperback
- Pub. Date:
- Cambridge University Press
About the Author
Allen L. Mann is a Postdoctoral Researcher in the Department of Mathematics and Statistics at the University of Tampere, Finland.
Gabriel Sandu is a Professor of Theoretical Philosophy at the University of Helsinki, Finland.
Merlijn Sevenster is a Senior Researcher in Healthcare Information Management at Philips Research, The Netherlands.
Table of Contents
Preface; 1. Introduction; 2. Game theory; 3. First-order logic; 4. Independence-friendly (IF) logic; 5. Properties of IF logic; 6. Expressive power of IF logic; 7. Probabilistic IF logic; 8. Further topics; References; Index.