Scan barcode
554 pages • missing pub info (editions)
ISBN/UID: 9780521527149
Format: Paperback
Language: English
Publisher: Cambridge University Press
Publication date: 22 August 2002
Description
This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiar...
Community Reviews
Content Warnings
554 pages • missing pub info (editions)
ISBN/UID: 9780521527149
Format: Paperback
Language: English
Publisher: Cambridge University Press
Publication date: 22 August 2002
Description
This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiar...
Community Reviews
Content Warnings