Logical Tools for Handling Change in Agent-Based Systems
Dov M. Gabbay
Download Now
Format: eBook (PDF)
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
Walter Carnielli
Download Now
Format: eBook (PDF)
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
Dov M. Gabbay
Download Now
Format: eBook (PDF)
Semantical Investigations in Heyting's Intuitionistic Logic
Dov M. Gabbay
Download Now
Format: eBook (PDF)