Modal Logic

Zusammenfassung This is a popular 2001 graduate text on modal logic! a field which has caught the attention of computer scientists! economists and computational linguists. With two distinct tracks through the work! clearly signposted in each chapter. A must for both novices and experts in modal logic. Inhaltsverzeichnis 1. Basic concepts; 2. Models; 3. Frames; 4. Completeness; 5. Algebras and general frames; 6. Computability and complexity; 7. Extended modal logic.

Détails du produit

• Auteurs: Patrick Blackburn, Patrick De Rijke Blackburn, Patrick Rijke Blackburn, Maarten de Rijke, Maarten de Rijke, Maarten de (Universiteit van Amsterdam) Rijke, Yde Venema, Yde (Universiteit van Amsterdam) Venema
• Edition: Cambridge University Press ELT
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 22.08.2002
• EAN: 9780521527149
• ISBN: 978-0-521-52714-9
• Pages: 578
• Thèmes: Cambridge Tracts in Theoretical Computer Science; Cambridge Tracts in Theoretical Computer Science
• Catégorie: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique