Save today: Get 40% off titles in Popular Science!

Applied Logic Series

Multi-Dimensional Modal Logic

Authors: Marx, Maarten, Venema, Yde

Free Preview

Buy this book

eBook $119.00
price for USA in USD
  • ISBN 978-94-011-5694-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.99
price for USA in USD
Softcover $159.99
price for USA in USD
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 $119.00
price for USA in USD
  • ISBN 978-94-011-5694-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.99
price for USA in USD
Softcover $159.99
price for USA in USD
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