Related Books

Many-Dimensional Modal Logics: Theory and Applications
Language: en
Pages: 767
Authors: A. Kurucz
Categories: Computers
Type: BOOK - Published: 2003-10-21 - Publisher: Elsevier

DOWNLOAD EBOOK

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathema
Many-dimensional Modal Logics
Language: en
Pages: 747
Authors: Dov M. Gabbay
Categories: Computers
Type: BOOK - Published: 2003 - Publisher: North-Holland

DOWNLOAD EBOOK

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathema
Multi-Dimensional Modal Logic
Language: en
Pages: 242
Authors: Maarten Marx
Categories: Philosophy
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Ov
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
Language: en
Pages: 311
Authors: Dov M. Gabbay
Categories: Philosophy
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philosophy and l
Finite Model Theory and Its Applications
Language: en
Pages: 447
Authors: Erich Grädel
Categories: Computers
Type: BOOK - Published: 2007-06-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particula