Logic and Information Flow
Jan van Eijck, Albert Visser · The MIT Press eBooks · 1994
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 Gardenfors 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, Hajnal Andreka et al meeting some neighbours, Maarten de Rijke actions under presuppositions, Albert Visser.