Local cover image
Modal Logic
Material type:
TextSeries: ; 53^v 53Publication details: Nueva York : Cambridge University Press, 2010Edition: 4th edDescription: xxii, 554 p. : il. ; 23 cmISBN: - 9780521527149
Contents:
Basic concepts -- Models -- Frames -- Completeness -- Algebra and general frames -- Computability and complexity -- Extended modal logic.
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | F.4.1 BLA (Browse shelf(Opens below)) | Available | DIF-03444 |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| F.4.1 ARB Theories of abstract automata | F.4.1 BAC Program construction : calculating implementations from specifications | F.4.1 BEL depo Models and ultraproducts : an introduction | F.4.1 BLA Modal Logic | F.4.1 COP Introducción a la lógica | F.4.1 DAV depo Truth, deduction, and computation : logic and semantics for computer science | F.4.1 EIL depo Recursiveness |
Basic concepts -- Models -- Frames -- Completeness -- Algebra and general frames -- Computability and complexity -- Extended modal logic.
Click on an image to view it in the image viewer