000			01429pam a2200241 a 4500
008			931014s1994 maua b 000 0 eng
020			_a0262220474
041			_aeng
080			_a510.6 _bEIJ
100			_aEijck, Jan van. Ed
245	0	0	_aLogic and information flow
260			_aCambridge _bThe MIT Press _c1994
300			_a233p
440		0	_aFoundations of computing
505			_aLogic 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
650		0	_aComputer science
650		0	_aNatural language processing (Computer science)
650		0	_aLogic, Symbolic and mathematical
690			_aMathematics
700	1		_aEijck, Jan van. Ed
700	1		_aVisser, Albert. Ed
942			_cBK
999			_c13433 _d13433