Quantification in Nonclassical Logic

Informationen zum Autor Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic. Zusammenfassung Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy and language in ancient times. This title emphasises on model-theoretic and it concentrates on descriptions of different sound semantics and completeness problem.

Table des matières

1.) Basic Propositional Logic 2.) Basic Predicate Logic3.) Kripke Semantics4.) Algebraic Semantics5.) Metaframe Semantics6.) Kripke completeness for varying domains7.) Kripke completeness for constant domains

Détails du produit

• Auteurs: Dov M. Gabbay, Dov M Gabbay, Dov M. Gabbay, Dov M. (Augustus De Morgan Professor Emeri Gabbay, Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic Gabbay, Dov M. (King's College London Gabbay, Dov M. (King's College London) Skvortsov Gabbay, Dov M. (King''s College London) Skvortsov Gabbay, Dov M. Skvortsov Gabbay, Valentin Shehtman, Valentin (Department of Computer Science Shehtman, Shehtman Valentin, Dimitrij Skvortsov, Dimitrij (Department of Computer Science Skvortsov, Dmitru Skvortsov, Skvortsov Dimitrij
• Edition: ELSEVIER SCIENCE BV
• Langues: Anglais
• Format d'édition: Livre Relié
• Sortie: 09.06.2009
• EAN: 9780444520128
• ISBN: 978-0-444-52012-8
• Pages: 640
• Thèmes: Studies in Logic and the Foundations of Mathematics; Studies in Logic and the Foundation of Mathematics; Studies in Logic and the Found; Studies in Logic and the Found; Studies in Logic and the Foundations of Mathematics; Studies in Logic and the Foundation of Mathematics
• Catégories: Sciences naturelles, médecine, informatique, technique > Mathématiques > Bases; MATHEMATICS / Logic, Mathematical logic