Items related to Arrow Logic and Multi-Modal Logic (Studies in Logic,...
Synopsis
Conceived by Johan van Benthem and Yde Venema, arrow logic started as an attempt to give a general account of the logic of transitions. The generality of the approach provided a wide application area ranging from philosophy to computer science. The book gives a comprehensive survey of logical research within and around arrow logic. Since the natural operations on transitions include composition, inverse and identity, their logic, arrow logic can be studied from two different perspectives, and by two (complementary) methodologies: modal logic and the algebra of relations. Some of the results in this volume can be interpreted as price tags. They show what the prices of desirable properties, such as decidability, (finite) axiomatisability, Craig interpolation property, Beth definability etc. are in terms of semantic properties of the logic. The research program of arrow logic has considerably broadened in the last couple of years and recently also covers the enterprise to explore the border between decidable and undecidable versions of other applied logics. The content of this volume reflects this broadening. The editors included a number of papers which are in the spirit of this generalised research program.
"synopsis" may belong to another edition of this title.
Book Description
Conceived by Johan van Benthem and Yde Venema, arrow logic started as an attempt to give a general account of the logic of transitions. The generality of the approach provided a wide application area ranging from philosophy to computer science. The book gives a comprehensive survey of logical research within and around arrow logic.
Review
' ... a comprehensive survey.' L'Enseignement Mathématique
"About this title" may belong to another edition of this title.
- PublisherCenter for the Study of Language and Inf
- Publication date1996
- ISBN 10 1575860244
- ISBN 13 9781575860244
- BindingPaperback
- LanguageEnglish
- Number of pages248
- EditorMarx Maarten, Polos Laszlo, Masuch Michael
Search results for Arrow Logic and Multi-Modal Logic (Studies in Logic,...
Seller Image
Arrow Logic and Multi-Modal Logic (Studies in Logic, Language, and Information)
Published by
Center for the Study of Language and Inf, 1996
ISBN 10: 1575860244
ISBN 13: 9781575860244
Used
Softcover
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Seller rating 4 out of 5 stars
Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear. Seller Inventory # GWSVV.1575860244.G
Quantity: 1 available
Stock Image
Arrow Logic and Multi-Modal Logic
Published by
Center for the Study of Language & Information CSLI Publications, 1996
ISBN 10: 1575860244
ISBN 13: 9781575860244
New
Softcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 248. Seller Inventory # 26271408
Quantity: 1 available
Stock Image
Arrow Logic and Multi-Modal Logic
Published by
Center for the Study of Language & Information, 1996
ISBN 10: 1575860244
ISBN 13: 9781575860244
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 248. Seller Inventory # 7576559
Quantity: 1 available
Stock Image
Arrow Logic and Multi-Modal Logic
Published by
Center for the Study of Language & Information, 1996
ISBN 10: 1575860244
ISBN 13: 9781575860244
New
Softcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 248. Seller Inventory # 18271418
Quantity: 1 available