Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Multi-Dimensional Modal Logic

Name: Multi-Dimensional Modal Logic
Brand: Springer
SKU: 01395270
Price: 118.29 EUR
Availability: InStock
Author: M. Marx
ISBN: 9780792343455

M. Marx

Yde Venema

Idioma

Inglés

Libro Tapa dura

Código Libristo: 01395270

Editores Springer, noviembre 1996

Modal Logic is a branch of logic with applications in many related disciplines such as computer scie... Descripción completa

Código Libristo: 01395270

290 b

118.29 €

Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Política de devolución de 30 días

Clientes que también han comprado

Uber Aufgabe Und Methode Der Politischen Okonomie (1886) Eugen Von Philippovich

Tapa blanda

19.99 €

Tout le monde mérite d'?tre heureux (et voici comment) M Orison Swett Marden

Tapa blanda

11.59 €

Eine Geschichte Von Zwei Stadten. Charles Dickens

Tapa dura

34.49 €

ALEXANDRIE - UNE ARCHITECTURE OTTOMANE Milena ANNALORO Libro

Tapa blanda

38.19 €

Trilogía: La amatista, El testamento, Zen Dans

Tapa dura

19.99 €

MUERTES NADA ACCIDENTALES VELASCO DE LA FUENTE

Libro

23.59 €

Una historia universal de la arquitectura : del siglo XV a nuestros días. Un análisis cronológico comparado a través de las culturas Frank Ching

Tapa blanda

45.49 €

magia das letras - Vol. I - aqua Antonio Almas

Tapa blanda

14.09 €

Diagnostik Sozialer Kompetenzen Uwe Peter Kanning

Tapa blanda

20.89 €

Prinzip der Verbrennung Benjamin Pichert

Tapa blanda

17.89 €

Deskriptive Statistik Hans Benninghaus

Tapa blanda

51.89 €

Ökonomische Theorie im Recht. Gunnar Janson

Tapa blanda

84.29 €

Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi-dimensionality in modal logic is a technical one: we call a modal formalism multi-dimensional if, in its intended semantics, the universe of a model consists of states that are tuples over some more basic set.) This book treats such multi-dimensional modal logics in a uniform way, linking their mathematical theory to the research tradition in algebraic logic. We will define and discuss a number of systems in detail, focusing on such aspects as expressiveness, definability, axiomatics, decidability and interpolation. Although the book will be mathematical in spirit, we take care to give motivations from the disciplines mentioned earlier on.