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: R2,873
Discovery Miles 28 730
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 R2,873 Discovery Miles 28 730 | Repayment Terms: R269 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..

Articulating Medieval Logic
Terence Parsons Hardcover R3,614 Discovery Miles 36 140
Talking About Nothing - Numbers…
Jody Azzouni Hardcover R3,160 Discovery Miles 31 600
Foundations of Logical Consequence
Colin R. Caret, Ole T. Hjortland Hardcover R4,023 Discovery Miles 40 230
Truth and Realism
Patrick Greenough, Michael P Lynch Hardcover R3,641 Discovery Miles 36 410
The Yablo Paradox - An Essay on…
Roy T. Cook Hardcover R2,703 Discovery Miles 27 030
The Construction of Logical Space
Agustin Rayo Hardcover R2,743 Discovery Miles 27 430
Frege's Conception of Logic
Patricia A. Blanchette Hardcover R2,936 Discovery Miles 29 360
Foundations without Foundationalism - A…
Stewart Shapiro Hardcover R5,225 Discovery Miles 52 250
Empiricism and Experience
Anil Gupta Hardcover R2,041 Discovery Miles 20 410
Bayesian Rationality - The probabilistic…
Mike Oaksford, Nick Chater Hardcover R5,410 Discovery Miles 54 100
Potentiality - From Dispositions to…
Barbara Vetter Hardcover R3,394 Discovery Miles 33 940
Formal Logic
Prior Hardcover R2,110 R1,287 Discovery Miles 12 870

See more

Partners