A Practical Logic of Cognitive Systems : The Reach of Abduction: Insight and Trial
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)
Many-Dimensional Modal Logics: Theory and Applications
A. Kurucz
Download - Immediately Available
Format: eBook (PDF)
The Great Formal Machinery Works : Theories of Deduction and Computation at the Origins of the Digital Age
Jan von Plato
Download - Immediately Available
Format: eBook (PDF)
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
Walter Carnielli
Download - Immediately Available
Format: eBook (PDF)
Can Mathematics Be Proved Consistent? : Godel's Shorthand Notes & Lectures on Incompleteness
Jan von Plato
Download - Immediately Available
Format: eBook (PDF)
Logical Tools for Handling Change in Agent-Based Systems
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)
Chapters from Godel's Unfinished Book on Foundational Research in Mathematics
Jan von Plato
Download - Immediately Available
Format: eBook (PDF)
A New Perspective on Nonmonotonic Logics
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)