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...

Full description

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 Here
LocationCall Number: Status
CMU Electronic Access Available