Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
Walter Carnielli
Download Now
Format: eBook (PDF)
Semantical Investigations in Heyting's Intuitionistic Logic
Dov M. Gabbay
Download Now
Format: eBook (PDF)
Formal Methods for Nonmonotonic and Related Logics : Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Karl Schlechta
Download Now
Format: eBook (PDF)
Formal Methods for Nonmonotonic and Related Logics : Vol I: Preference and Size
Karl Schlechta
Download Now
Format: eBook (PDF)
Logical Tools for Handling Change in Agent-Based Systems
Dov M. Gabbay
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)