TY  - BOOK
AU  - Eijck, Jan van. Ed
AU  - Eijck,Jan vanEd
AU  - Visser,AlbertEd
TI  - Logic and information flow
SN  - 0262220474
PY  - 1994///
CY  - Cambridge
PB  - The MIT Press
KW  - Computer science
KW  - Natural language processing (Computer science)
KW  - Logic, Symbolic and mathematical
N1  - Logic and information flow / Jan van Eijck and Albert Visser
A note on dynamic arrow logic / Johan van Benthem
Axiomatizing dynamic predicate logic with quantified dynamic logic / Jan van Eijck
How logic emerges from the dynamics of information / Peter Gärdenfors
On action algebras / Dexter Kozen
Logic and control : how they determine the behaviour of presuppositions / Marcus Kracht
Classification domains and information links : a brief survey / Lawrence Moss and Jerry Seligman
Process algebra and dynamic logic / Alban Ponse
A roadmap of some two-dimensional logics / Vaughan Pratt
Some new landmarks on the roadmap of two dimensional logics / H. Andreka, I. Nemeti, I. Sain
Meeting some neighbours / Maarten de Rijke
Actions under presuppositions / Albert Visser
ER  -