Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Multi-Dimensional Modal Logic

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

M. Marx

Yde Venema

Language

English

Book Hardback

Libristo code: 01395270

Publishers Springer, November 1996

Modal Logic is a branch of logic with applications in many related disciplines such as computer scie... Full description

Libristo code: 01395270

285 b

41 413 Ft

Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

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

Paperback

7 335 Ft

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

Paperback

4 251 Ft

Eine Geschichte Von Zwei Stadten. Charles Dickens

Hardback

12 036 Ft

ALEXANDRIE - UNE ARCHITECTURE OTTOMANE Milena ANNALORO Book

Paperback

13 376 Ft

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

Hardback

7 321 Ft

MUERTES NADA ACCIDENTALES VELASCO DE LA FUENTE

Book

8 226 Ft

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

Paperback

16 653 Ft

magia das letras - Vol. I - aqua Antonio Almas

Paperback

5 155 Ft

Diagnostik Sozialer Kompetenzen Uwe Peter Kanning

Paperback

7 294 Ft

Prinzip der Verbrennung Benjamin Pichert

Paperback

6 229 Ft

Deskriptive Statistik Hans Benninghaus

Paperback

18 109 Ft

Ökonomische Theorie im Recht. Gunnar Janson

Paperback

28 092 Ft

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.