Quantification in Nonclassical Logic Gabbay Dov M. (EN) 0 27 0 0 Полный текст — 0 стр., 26.03.2016 Quantification and modalities have always been topics of great interest for logicians. These two the...
Many-Dimensional Modal Logics: Theory and Applications Gabbay Dov M. (EN) 0 70 0 0 Полный текст — 0 стр., 25.03.2016 Modal logics, originally conceived in philosophy, have recently found many applications in computer ...
Practical Logic of Cognitive Systems Gabbay Dov M. (EN) 0 52 0 0 Полный текст — 0 стр., 23.03.2016 The present work is a continuation of the authors' acclaimed multi-volume APractical Logic of Cognit...