Skip to main content
SpringerLink
Log in

Multi-Dimensional Modal Logic

  • Book
  • © 1997

Overview

Authors:
  1. Maarten Marx

    1. Department of Computing, Imperial College, London, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Yde Venema

    1. CIS, Free University, Amsterdam, The Netherlands

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Applied Logic Series (APLS, volume 4)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 chapters)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Multi-Dimensional Modal Logic

    • Maarten Marx, Yde Venema
    Pages 1-9

  3. Two-Dimensional Modal Logics

    • Maarten Marx, Yde Venema
    Pages 11-41

  4. Arrow Logic

    • Maarten Marx, Yde Venema
    Pages 43-91

  5. Modal Logics of Intervals

    • Maarten Marx, Yde Venema
    Pages 93-111

  6. Modal Logics of Relations

    • Maarten Marx, Yde Venema
    Pages 113-167

  7. Multi-Dimensional Semantics for Every Modal Language

    • Maarten Marx, Yde Venema
    Pages 169-179

  8. Back Matter

    Pages 181-239
    Download chapter PDF
Back to top

Keywords

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.

Authors and Affiliations

  • Department of Computing, Imperial College, London, UK

    Maarten Marx

  • CIS, Free University, Amsterdam, The Netherlands

    Yde Venema

Bibliographic Information

  • Book Title: Multi-Dimensional Modal Logic

  • Authors: Maarten Marx, Yde Venema

  • Series Title: Applied Logic Series

  • DOI: https://doi.org/10.1007/978-94-011-5694-3

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media Dordrecht 1997

  • Hardcover ISBN: 978-0-7923-4345-5Published: 30 November 1996

  • Softcover ISBN: 978-94-010-6401-9Published: 06 October 2012

  • eBook ISBN: 978-94-011-5694-3Published: 06 December 2012

  • Series ISSN: 1386-2790

  • Edition Number: 1

  • Number of Pages: XIII, 239

  • Topics: Logic, Mathematical Logic and Foundations, Computational Linguistics

Publish with us

Policies and ethics

Back to top

Search

Navigation