Cargando…
Tools and techniques in modal logic /
This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and 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. It pres...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York :
Elsevier,
1999.
|
| Edición: | 1st ed. |
| Colección: | Studies in logic and the foundations of mathematics ;
v. 142. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |