Name: Multi-Dimensional Modal Logic
Price: 99.96 EUR
Availability: InStock
Author: Marx, Maarten ; Venema, Yde
ISBN: 9789401064019

Type

Physical Book

Author

Yde Venema

Maarten Marx

Publisher

Springer

Language

English

Pages

239

Format

Paperback

Dimensions

23.4 x 15.6 x 1.4 cm

Weight

0.36 kg.

ISBN13

9789401064019

Synopsis "Multi-Dimensional Modal Logic"

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Multi-Dimensional Modal Logic - Marx, Maarten ; Venema, Yde

Synopsis "Multi-Dimensional Modal Logic"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery