Multi-dimensional Modal Logic

Marx, Maarten; Venema, Yde

ISBN 10: 9401064016 ISBN 13: 9789401064019
Published by Springer, 2012
Used Soft cover

From GreatBookPrices, Columbia, MD, U.S.A. Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

AbeBooks Seller since April 6, 2009

This specific item is no longer available.

About this Item

Description:

Unread book in perfect condition. Seller Inventory # 19201129

Report this item

Synopsis:

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.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Multi-dimensional Modal Logic
Publisher: Springer
Publication Date: 2012
Binding: Soft cover
Condition: As New

Top Search Results from the AbeBooks Marketplace

Stock Image

Marx, Maarten
Published by Springer, 2012
ISBN 10: 9401064016 ISBN 13: 9789401064019
New Softcover
Print on Demand

Seller: Brook Bookstore On Demand, Napoli, NA, Italy

Seller rating 3 out of 5 stars 3-star rating, Learn more about seller ratings

Condition: new. Questo è un articolo print on demand. Seller Inventory # NXHDHW1INT

Contact seller

Buy New

US$ 101.93
US$ 6.31 shipping
Ships from Italy to U.S.A.

Quantity: Over 20 available

Add to basket

Seller Image

Maarten Marx|Yde Venema
Published by Springer Netherlands, 2012
ISBN 10: 9401064016 ISBN 13: 9789401064019
New Kartoniert / Broschiert
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 develop. Seller Inventory # 5833026

Contact seller

Buy New

US$ 109.06
US$ 56.22 shipping
Ships from Germany to U.S.A.

Quantity: Over 20 available

Add to basket

Seller Image

Maarten Marx (u. a.)
Published by Springer, 2013
ISBN 10: 9401064016 ISBN 13: 9789401064019
New Taschenbuch

Seller: preigu, Osnabrück, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Multi-Dimensional Modal Logic | Maarten Marx (u. a.) | Taschenbuch | Applied Logic Series | xiii | Englisch | 2013 | Springer | EAN 9789401064019 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 105459714

Contact seller

Buy New

US$ 112.46
US$ 80.33 shipping
Ships from Germany to U.S.A.

Quantity: 5 available

Add to basket

Seller Image

Yde Venema
Published by Springer Netherlands Okt 2012, 2012
ISBN 10: 9401064016 ISBN 13: 9789401064019
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 256 pp. Englisch. Seller Inventory # 9789401064019

Contact seller

Buy New

US$ 126.45
US$ 26.39 shipping
Ships from Germany to U.S.A.

Quantity: 2 available

Add to basket

Seller Image

Maarten Marx
Published by Springer, Springer Okt 2012, 2012
ISBN 10: 9401064016 ISBN 13: 9789401064019
New Taschenbuch
Print on Demand

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 256 pp. Englisch. Seller Inventory # 9789401064019

Contact seller

Buy New

US$ 126.45
US$ 68.85 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Marx, Maarten; Venema, Yde
Published by Springer, 2012
ISBN 10: 9401064016 ISBN 13: 9789401064019
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9789401064019_new

Contact seller

Buy New

US$ 132.04
US$ 15.85 shipping
Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Add to basket

Seller Image

Maarten Marx
Published by Springer, Springer, 2012
ISBN 10: 9401064016 ISBN 13: 9789401064019
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9789401064019

Contact seller

Buy New

US$ 133.28
US$ 71.11 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Yde Venema Maarten Marx
Published by Springer, 2012
ISBN 10: 9401064016 ISBN 13: 9789401064019
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 256. Seller Inventory # 26127716820

Contact seller

Buy New

US$ 161.97
US$ 3.99 shipping
Ships within U.S.A.

Quantity: 4 available

Add to basket

Stock Image

Venema Yde Marx Maarten
Published by Springer, 2012
ISBN 10: 9401064016 ISBN 13: 9789401064019
New Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. Print on Demand pp. 256 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 132870667

Contact seller

Buy New

US$ 168.15
US$ 8.60 shipping
Ships from United Kingdom to U.S.A.

Quantity: 4 available

Add to basket

Stock Image

Venema Yde Marx Maarten
Published by Springer, 2012
ISBN 10: 9401064016 ISBN 13: 9789401064019
New Softcover
Print on Demand

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. PRINT ON DEMAND pp. 256. Seller Inventory # 18127716830

Contact seller

Buy New

US$ 179.11
US$ 11.42 shipping
Ships from Germany to U.S.A.

Quantity: 4 available

Add to basket