Logic and Information Flow

Name: Logic and Information Flow
Price: 27.7 USD
Availability: InStock
ISBN: 9780262220477

ISBN-10: 0262220474

ISBN-13: 9780262220477

Edition: 1994

Authors: Jan Van Eijck, Albert Visser, Michael R. Garey, Albert Meyer

List price: $11.75

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $27.70

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of information through any information-processing system. The logic of information flow has applications in both computer science and natural language processing and is a growing area within mathematical and philosophical logic. Consequently, Logic and Information Flowwill be of interest to theoretical computer scientists wanting information on up-to-date formalisms of dynamic logic, and their possible applications; logicians who wish to expand their…

Book details

List price: $11.75
Copyright year: 1994
Publisher: MIT Press
Publication date: 5/6/1994
Binding: Hardcover
Pages: 246
Size: 7.25" wide x 9.50" long x 0.75" tall
Weight: 1.298
Language: English



Series Foreword


Preface



Logic and Information Flow




A Note on Dynamic Arrow Logic




Axiomatizing Dynamic Predicate Logic with Quantified Dynamic Logic




How Logic Emerges from the Dynamics of Information




On Action Algebras




Logic and Control: How They Determine the Behaviour of Presuppositions




Classification Domains and Information Links: A Brief Survey




Process Algebra and Dynamic Logic




A Roadmap of Some Two-Dimensional Logics




Some New Landmarks on the Roadmap of Two Dimensional Logics




Meeting Some Neighbours




Actions under Presuppositions