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
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 135,19 €
price for Spain (gross)
  • ISBN 978-0-7923-4345-5
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 135,19 €
price for Spain (gross)
  • ISBN 978-94-010-6401-9
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
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
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 135,19 €
price for Spain (gross)
  • ISBN 978-0-7923-4345-5
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 135,19 €
price for Spain (gross)
  • ISBN 978-94-010-6401-9
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
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