Applied Logic Series

Multi-Dimensional Modal Logic

Authors: Marx, Maarten, Venema, Yde

Free Preview

Buy this book

eBook 106,99 €
price for Spain (gross)
  • ISBN 978-94-011-5694-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Hardcover 135,19 €
price for Spain (gross)
Softcover 135,19 €
price for Spain (gross)
About this book

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.

Table of contents (6 chapters)

Table of contents (6 chapters)

Buy this book

eBook 106,99 €
price for Spain (gross)
  • ISBN 978-94-011-5694-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Hardcover 135,19 €
price for Spain (gross)
Softcover 135,19 €
price for Spain (gross)
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Multi-Dimensional Modal Logic
Authors
Series Title
Applied Logic Series
Series Volume
4
Copyright
1997
Publisher
Springer Netherlands
Copyright Holder
Springer Science+Business Media Dordrecht
eBook ISBN
978-94-011-5694-3
DOI
10.1007/978-94-011-5694-3
Hardcover ISBN
978-0-7923-4345-5
Softcover ISBN
978-94-010-6401-9
Series ISSN
1386-2790
Edition Number
1
Number of Pages
XIII, 239
Topics