Many-dimensional modal logics theory and applications /
Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms fo...
Other Authors: | Gabbay, Dov M., 1945-, ScienceDirect (Online service) |
---|---|
Format: | eBook |
Language: | English |
Published: |
Amsterdam ; Boston :
Elsevier North Holland,
2003.
|
Physical Description: |
1 online resource (xviii, 747 pages). |
Edition: | 1st ed. |
Series: |
Studies in logic and the foundations of mathematics ;
v. 148. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |