Items related to Modal Logic: 35 (Oxford Logic Guides)
For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators - `like it is necessary' in philosophy, `it is believed' in cognitive science, `it is provable' in mathematics and `it is true after executing a program' in computer science. It is an advanced text which starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantical and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics.
A specialist can use the book as a source of references. For the first time results and methods of many directions in propositional modal logic - from completeness and duality to algorithmic problems - are collected and systematically presented in one volume. Unlike other books, modal logic is treated here as a uniform theory rather than a collection of a few particular systems. It is the only book presenting the theory of superintuitionistic logics.
A specialist can use the book as a source of references. For the first time results and methods of many directions in propositional modal logic - from completeness and duality to algorithmic problems - are collected and systematically presented in one volume. Unlike other books, modal logic is treated here as a uniform theory rather than a collection of a few particular systems. It is the only book presenting the theory of superintuitionistic logics.
"synopsis" may belong to another edition of this title.
Review:
This book presents a rich resource for modern mathematical modal logic, useful both as an advanced textbook and as a source for up-to-date results. (Zentralblatt fuer Mathematik 871/97)
"About this title" may belong to another edition of this title.
- PublisherOUP Oxford
- Publication date1997
- ISBN 10 0198537794
- ISBN 13 9780198537793
- BindingHardcover
- Number of pages624
Buy New
Learn more about this copy
£ 223.39
Shipping:
£ 9.98
From United Kingdom to U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Modal Logic
Published by
OUP Oxford
(1997)
ISBN 10: 0198537794
ISBN 13: 9780198537793
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9780198537793_lsuk
Buy New
£ 223.39
Convert currency
Stock Image
Modal Logic 35 Oxford Logic Guides
Published by
Clarendon Press
(1997)
ISBN 10: 0198537794
ISBN 13: 9780198537793
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9780198537793
Buy New
£ 245.58
Convert currency
Stock Image
Modal Logic 35 Oxford Logic Guides
Published by
Clarendon Press
(1997)
ISBN 10: 0198537794
ISBN 13: 9780198537793
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9780198537793
Buy New
£ 227.57
Convert currency
Stock Image
Modal Logic (Hardcover)
Published by
Oxford University Press, Oxford
(1997)
ISBN 10: 0198537794
ISBN 13: 9780198537793
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: new. Hardcover. For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators - `like it is necessary' in philosophy, `it is believed' in cognitive science, `it is provable' in mathematics and `it is true after executing a program' in computer science. It is an advanced text which starts with very fundamental concepts and graduallyproceeds to the front line of current research, introducing in full details the modern semantical and algebraic apparatus and covering practically all classical results in the field. It contains bothnumerous exercises and open problems, and presupposes only minimal knowledge in mathematics. A specialist can use the book as a source of references. For the first time results and methods of many directions in propositional modal logic - from completeness and duality to algorithmic problems - are collected and systematically presented in one volume. Unlike other books, modal logic is treated here as a uniform theory rather than a collection of a few particularsystems. It is the only book presenting the theory of superintuitionistic logics. This is a mathematically-oriented advanced textbook in modal logic, a discipline conceived in philosophy and having found applications in mathematics, artificial intelligence, linguistics, and computer science. It presents in a systematic and comprehensive way a wide range of classical and novel methods and results and can be used by a specialist as a reference book. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Seller Inventory # 9780198537793
Buy New
£ 235.41
Convert currency
Stock Image
MODAL LOGIC (OXFORD LOGIC GUIDES
Published by
Clarendon Press
(1997)
ISBN 10: 0198537794
ISBN 13: 9780198537793
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 2.38. Seller Inventory # Q-0198537794
Buy New
£ 293.61
Convert currency
Stock Image
Modal Logic (Oxford Logic Guides)
Published by
Clarendon Press
(1997)
ISBN 10: 0198537794
ISBN 13: 9780198537793
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Feb2215580042978
Buy New
£ 295.48
Convert currency