Multi-Dimensional Modal Logic by Maarten Marx
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.
-
Logic, Language and Computation
-
Labelled Deduction
-
Frontiers of Combining Systems
-
Thirty Five Years of Automating Mathematics
-
Foundations of Bayesianism
-
Rigid Flexibility
-
Reasoning Robots
-
A Modern Perspective on Type Theory
-
Hybrid Logic and its Proof-Theory
-
Proof Theory for Fuzzy Logics
-
Foundations of Rational Agency
-
Goal-Directed Proof Theory
-
A Textbook of Belief Dynamics
-
New Essays in Free Logic
-
The Semantics and Proof Theory of the Logic of Bunched Implications
-
Proof Theory of Modal Logic
-
Frontiers in Belief Revision
-
Advances in Intensional Logic
-
Inference on the Low Level
-
Fuzzy Sets, Logics and Reasoning about Knowledge
-
Automated Model Building
-
The Death of Argument
-
Dynamic Worlds
-
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-
An Introduction to Mathematical Logic and Type Theory
-
Advances in Temporal Logic
-
What is Negation?
-
Abduction and Induction
-
Intellectics and Computational Logic
-
Formal Aspects of Context
-
Logical and Computational Aspects of Model-Based Reasoning
-
Analysis and Synthesis of Logics
| SKU | Unavailable |
| ISBN 13 | 9789401064019 |
| ISBN 10 | 9401064016 |
| Title | Multi-Dimensional Modal Logic |
| Author | Maarten Marx |
| Series | Applied Logic Series |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2012-10-06 |
| Number of pages | 239 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |