Arrow logic and multi-modal logic
Guardado en:
| Otros Autores: | , , |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
Sanford, CA :
CSLI,
c1996
[Dordrecht?] : FoLLI, European Association for Logic, Language and Information |
| Colección: | Studies in logic, language and information
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 01728cam a22004457a 4500 | ||
|---|---|---|---|
| 001 | BIBLO-49364 | ||
| 003 | AR-BaUEN | ||
| 005 | 20201111150621.0 | ||
| 008 | 170719s1996 xxu||||f |||| 00| 0|eng|d | ||
| 040 | |a AR-BaUEN |b spa |c AR-BaUEN | ||
| 020 | |a 9781575860244 | ||
| 044 | |a xxu | ||
| 080 | |a 510.643 |b M392 | ||
| 245 | 0 | 0 | |a Arrow logic and multi-modal logic |
| 260 | |a Sanford, CA : |b CSLI, |c c1996 | ||
| 260 | |a [Dordrecht?] : |b FoLLI, European Association for Logic, Language and Information | ||
| 300 | |a xiv, 247 p. | ||
| 490 | 0 | |a Studies in logic, language and information | |
| 500 | |a Referencias bibliográficas al final de cada capítulo | ||
| 500 | |a Índice analítico de materias y de autores. | ||
| 505 | 0 | 0 | |t Contributors |
| 505 | 0 | 0 | |t Preface |
| 505 | 0 | 0 | |g 1 |t A Crash Course in Arrow Logic |
| 505 | 0 | 0 | |g 2 |t Investigations in Arrow Logic |
| 505 | 0 | 0 | |g 3 |t Causes and Remedies for Undecidability in Arrow Logics and in Multi-Modal Logics |
| 505 | 0 | 0 | |g 4 |t Associativity Does Not Imply Undecidability without the Axiom of Modal Distribution |
| 505 | 0 | 0 | |g 5 |t Dynamic Arrow Logic |
| 505 | 0 | 0 | |g 6 |t Complete Calculus for Conjugated Arrow Logic |
| 505 | 0 | 0 | |g 7 |t Many-Dimensional Arrow Structures: Arrow Logics II |
| 505 | 0 | 0 | |g 8 |t What is Modal Logic? |
| 505 | 0 | 0 | |g 9 |t Content versus Wrapping: an Essay in Semantic Complexity |
| 505 | 0 | 0 | |g 10 |t A Fine-Structure Analysis of First-Order Logic |
| 653 | 1 | 0 | |a LOGICA MODAL |
| 653 | 1 | 0 | |a LOGICA DE FLECHAS |
| 650 | 1 | 7 | |2 spines |a LOGICA MATEMATICA |
| 700 | 1 | |a Marx, Maarten | |
| 700 | 1 | |a Pólos, Lásló | |
| 700 | 1 | |a Masuch, Michael | |
| 962 | |a info:eu-repo/semantics/book |a info:ar-repo/semantics/libro |b info:eu-repo/semantics/publishedVersion | ||
| 999 | |c 38072 | ||