Multi-Dimensional Modal Logic

Multi-Dimensional Modal Logic
Author :
Publisher : Springer Science & Business Media
Total Pages : 242
Release :
ISBN-10 : 9789401156943
ISBN-13 : 9401156948
Rating : 4/5 (43 Downloads)

Book Synopsis Multi-Dimensional Modal Logic by : Maarten Marx

Download or read book Multi-Dimensional Modal Logic written by Maarten Marx and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 242 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Multi-Dimensional Modal Logic Related Books

Multi-Dimensional Modal Logic
Language: en
Pages: 242
Authors: Maarten Marx
Categories: Philosophy
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Ov
Many-Dimensional Modal Logics: Theory and Applications
Language: en
Pages: 767
Authors: A. Kurucz
Categories: Computers
Type: BOOK - Published: 2003-10-21 - Publisher: Elsevier

DOWNLOAD EBOOK

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathema
Modal Logic
Language: en
Pages: 574
Authors: Patrick Blackburn
Categories: Computers
Type: BOOK - Published: 2002-08-22 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from
Two-Dimensional Semantics
Language: en
Pages: 364
Authors: Manuel Garcia-Carpintero
Categories: Philosophy
Type: BOOK - Published: 2006-04-06 - Publisher: Clarendon Press

DOWNLOAD EBOOK

According to two-dimensional semantics, the meaning of an expression involves two different "dimensions": one dimension involves reference and truth-conditions
Logic and Its Applications
Language: en
Pages: 267
Authors: Kamal Lodaya
Categories: Mathematics
Type: BOOK - Published: 2012-12-22 - Publisher: Springer

DOWNLOAD EBOOK

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian Confere