Loading…
Quantification in nonclassical logic /
Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy and language in ancient times; they were studied by traditional informal methods until the 20th century. In the last century the tools became highly mathematical, and both...
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Amsterdam ; Boston :
Elsevier,
2009-
|
| Series: | Studies in logic and the foundations of mathematics ;
v. 153. |
| Subjects: | |
| Online Access: | Texto completo Texto completo Texto completo |
Table of Contents:
- 1.) Basic Propositional Logic
- 2.) Basic Predicate Logic
- 3.) Kripke Semantics
- 4.) Algebraic Semantics
- 5.) Metaframe Semantics
- 6.) Kripke completeness for varying domains
- 7.) Kripke completeness for constant domains.