by Dimitrij Skvortsov (Author), Dov M. Gabbay (Author), Valentin Shehtman (Author)
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.
Format: Illustrated
Pages: 640
Edition: 153rd edition
Publisher: Elsevier Science
Published: 09 Jun 2009
ISBN 10: 0444520120
ISBN 13: 9780444520128