Arrow logic and multi-modal logic

Guardado en:
Detalles Bibliográficos
Otros Autores: Marx, Maarten, Pólos, Lásló, Masuch, Michael
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:
LOGICA MATEMATICA
LOGICA MODAL
LOGICA DE FLECHAS
Aporte de:Registro referencial: Solicitar el recurso aquí
Biblioteca Central Dr. Luis F. Leloir (FCEN) de Universidad de Buenos Aires
Tabla de Contenidos:
  • Contributors
  • Preface
  • 1 A Crash Course in Arrow Logic
  • 2 Investigations in Arrow Logic
  • 3 Causes and Remedies for Undecidability in Arrow Logics and in Multi-Modal Logics
  • 4 Associativity Does Not Imply Undecidability without the Axiom of Modal Distribution
  • 5 Dynamic Arrow Logic
  • 6 Complete Calculus for Conjugated Arrow Logic
  • 7 Many-Dimensional Arrow Structures: Arrow Logics II
  • 8 What is Modal Logic?
  • 9 Content versus Wrapping: an Essay in Semantic Complexity
  • 10 A Fine-Structure Analysis of First-Order Logic

Ejemplares similares