Many-dimensional modal logics : theory and applications /: theory and applications. (2003)

• Record Type: Book
• Further Information: Note: D.M. Gabbay [and others].
• Other Names: Gabbay, Dov M, 1945-
• Contents: 1 Modal logic basics -- 2 Applied modal logic -- 3 Many-dimensional modal logics -- 4 Fusions of modal logics -- 5 Products of modal logics: introduction -- 6 Decidable products -- 7 Undecidable products -- 8 Higher-dimensional products -- 9 Variations on products -- 10 Intuitionistic modal logics -- 11 Fragments of first-order temporal logics -- 12 Fragments of first-order dynamic and epistemic logics -- 13 Temporal epistemic logics -- 14 Modal description logics -- 15 Tableaux for modal description logics -- 16 Spatio-temporal logics.
• Publisher Details: Place of publication not identified : North Holland
• Publication Date: 2003
• Extent: 1 online resource (766 pages)
• Subjects: 511.3; Modality (Logic); Modality (Logic); Modale logica; Universele algebra; Algebraïsche logica; Modallogik
• Languages: English
• ISBNs: 9780080535784
• Related ISBNs: 008053578X
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.