Skip to content

Logic and Information Flow

Spend $50 to get a free DVD!

ISBN-10: 0262220474

ISBN-13: 9780262220477

Edition: 1994

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

List price: $11.75
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
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…    
Customers also bought

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