Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Multi-Dimensional Modal Logic

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

M. Marx

Yde Venema

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 01395270

Nakladatelství Springer, listopad 1996

Modal Logic is a branch of logic with applications in many related disciplines such as computer scie... Celý popis

Libristo kód: 01395270

265 b

2 646 Kč

Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

Brožovaná

445 Kč

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

Brožovaná

256 Kč

Eine Geschichte Von Zwei Stadten. Charles Dickens

Pevná

711 Kč

ALEXANDRIE - UNE ARCHITECTURE OTTOMANE Milena ANNALORO Kniha

Brožovaná

919 Kč

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

Pevná

503 Kč

MUERTES NADA ACCIDENTALES VELASCO DE LA FUENTE

Kniha

565 Kč

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

Brožovaná

1 144 Kč

magia das letras - Vol. I - aqua Antonio Almas

Brožovaná

313 Kč

Diagnostik Sozialer Kompetenzen Uwe Peter Kanning

Brožovaná

435 Kč

Prinzip der Verbrennung Benjamin Pichert

Brožovaná

369 Kč

Deskriptive Statistik Hans Benninghaus

Brožovaná

1 080 Kč

Ökonomische Theorie im Recht. Gunnar Janson

Brožovaná

1 930 Kč

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.