0
Your cart

Your cart is empty

Books > Humanities > Philosophy > Topics in philosophy > Logic

Buy Now

Multi-Dimensional Modal Logic (Paperback, Softcover reprint of the original 1st ed. 1997) Loot Price: R3,020
Discovery Miles 30 200
Multi-Dimensional Modal Logic (Paperback, Softcover reprint of the original 1st ed. 1997): Maarten Marx, Yde Venema

Multi-Dimensional Modal Logic (Paperback, Softcover reprint of the original 1st ed. 1997)

Maarten Marx, Yde Venema

Series: Applied Logic Series, 4

 (sign in to rate)
Loot Price R3,020 Discovery Miles 30 200 | Repayment Terms: R283 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer
Country of origin: Netherlands
Series: Applied Logic Series, 4
Release date: October 2012
First published: 1997
Authors: Maarten Marx • Yde Venema
Dimensions: 235 x 155 x 14mm (L x W x T)
Format: Paperback
Pages: 239
Edition: Softcover reprint of the original 1st ed. 1997
ISBN-13: 978-9401064019
Categories: Books > Language & Literature > Language & linguistics > Computational linguistics
Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Humanities > Philosophy > Topics in philosophy > Logic
Books > Philosophy > Topics in philosophy > Logic
Promotions
LSN: 9401064016
Barcode: 9789401064019

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Truth and Realism
Patrick Greenough, Michael P Lynch Hardcover R3,863 Discovery Miles 38 630
Foundations without Foundationalism - A…
Stewart Shapiro Hardcover R5,547 Discovery Miles 55 470
Bayesian Rationality - The probabilistic…
Mike Oaksford, Nick Chater Hardcover R5,743 Discovery Miles 57 430
Hume's Problem - Induction and the…
Colin Howson Hardcover R3,738 Discovery Miles 37 380
In Contradiction
Graham Priest Hardcover R4,957 Discovery Miles 49 570
Logic on the Track of Social Change
David Braybrooke, Bryson Brown, … Hardcover R1,576 Discovery Miles 15 760
An Essay Concerning Human Understanding
John Locke Paperback R766 Discovery Miles 7 660
An Essay Concerning Human Understanding
John Locke Paperback R842 Discovery Miles 8 420
An Essay Concerning Human Understanding
John Locke Paperback R764 Discovery Miles 7 640
An Essay Concerning Human Understanding…
John Locke Paperback R804 Discovery Miles 8 040
An Essay Concerning Human Understanding
John Locke Paperback R651 Discovery Miles 6 510
A Grammar of Logic and Intellectual…
Alexander Jamieson Paperback R572 Discovery Miles 5 720

See more

Partners