Multi-Dimensional Modal Logic Image close
Multi-Dimensional Modal Logic by Maarten Marx
Multi-Dimensional Modal Logic by Maarten Marx
Show Hide Adult Content
Multi-Dimensional Modal Logic close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Reference  
Literature  
Language & linguistics  
Computational linguistics

Multi-Dimensional Modal Logic

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$268.99
RRP:
$338.95 save $69.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $67.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Explore more Applied Logic Series

See all products in this series

What is Negation? on Hardback
$534.99
What is Negation?
Hardback
Available - Usually ships in 3-4 weeks
Logical and Computational Aspects of Model-Based Reasoning on Hardback Save $149
$290.99
$440.95
Logical and Computational Aspects of Model-Based Reasoning
Hardback
Available - Usually ships in 3-4 weeks
The Semantics and Proof Theory of the Logic of Bunched Implications on Hardback by David J Pym Save $8
$431.99
$440.95
The Semantics and Proof Theory of the Logic of Bunched Implications
by David J Pym ~ Hardback
Available - Usually ships in 3-4 weeks
Analysis and Synthesis of Logics by Marcelo Coniglio
$419.99
$421.95
Analysis and Synthesis of Logics
by Marcelo Coniglio ~ Paperback / softback
Available - Usually ships in 3-4 weeks
What is Negation?
$531.99
What is Negation?
Paperback / softback
Available - Usually ships in 3-4 weeks
An Introduction to Mathematical Logic and Type Theory on Hardback by Peter B. Andrews
$346.99
An Introduction to Mathematical Logic and Type Theory
by Peter B. Andrews ~ Hardback
Available - Usually ships in 3-4 weeks
Fallacies Arising from Ambiguity by Douglas Walton
$483.99
Fallacies Arising from Ambiguity
by Douglas Walton ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Modern Perspective on Type Theory by Rob Nederpelt Save $64
$341.99
$406.95
A Modern Perspective on Type Theory
by Rob Nederpelt ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Proof Theory of Modal Logic Save $27
$412.99
$440.95
Proof Theory of Modal Logic
Paperback / softback
Available - Usually ships in 3-4 weeks
Frontiers of Combining Systems Save $65
$142.99
$208.95
Frontiers of Combining Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Thirty Five Years of Automating Mathematics Save $86
$269.99
$356.95
Thirty Five Years of Automating Mathematics
Paperback / softback
Available - Usually ships in 3-4 weeks
Foundations of Rational Agency on Hardback Save $22
$417.99
$440.95
Foundations of Rational Agency
Hardback
Available - Usually ships in 3-4 weeks
Dynamic Worlds on Hardback Save $66
$271.99
$338.95
Dynamic Worlds
Hardback
Available - Usually ships in 3-4 weeks
Frontiers in Belief Revision on Hardback
$418.99
Frontiers in Belief Revision
Hardback
Available - Usually ships in 3-4 weeks
Proof Theory of Modal Logic on Hardback Save $9
$430.99
$440.95
Proof Theory of Modal Logic
Hardback
Available - Usually ships in 3-4 weeks
Logic, Language and Computation on Hardback Save $66
$271.99
$338.95
Logic, Language and Computation
Hardback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
October 6th, 2012
Audience
  • Postgraduate, Research & Scholarly
Illustrations
XIII, 239 p.
Pages
239
Dimensions
155x235x14
ISBN-13
9789401064019
Product ID
21042283

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Maarten Marx

See all books by this author

Modal Logic by Patrick Blackburn
$259.99
Modal Logic
by Patrick Blackburn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Finite Model Theory and Its Applications on Hardback by Erich Gradel
$251.99
Finite Model Theory and Its Applications
by Erich Gradel ~ Hardback
Available - Usually ships in 3-4 weeks
Multi-Dimensional Modal Logic on Hardback by Maarten Marx Save $54
$283.99
$338.95
Multi-Dimensional Modal Logic
by Maarten Marx ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Reference >
Literature >
Language & linguistics >
Computational linguistics
Books >
Non-Fiction >
Humanities >
Philosophy >
Topics in philosophy >
Logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation