Tools and Techniques in Modal Logic

Zusammenfassung Treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory. This book is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply.

Détails du produit

• Auteurs: M. Kracht, M. (Freie Universitat Berlin Kracht, Marcus Kracht, KRACHT MARCUS
• Collaboration: Arjen Sevenster (Editeur)
• Edition: ELSEVIER SCIENCE BV
• Langues: Anglais
• Format d'édition: Livre Relié
• Sortie: 01.06.1999
• EAN: 9780444500557
• ISBN: 978-0-444-50055-7
• Pages: 576
• Thèmes: Studies in Logic and the Found; Studies in Logic and the Found; Studies in Logic and the Foundations of Mathematics
• Catégorie: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Général, dictionnaires