Logic and information flow

Saved in:
Bibliographic Details
Other Authors Eijck, J. van, Visser, Albert
Format eBook
LanguageEnglish
Published Cambridge, Mass. : MIT Press, c1994.
SeriesFoundations of computing.
Subjects
Computer science.
Natural language processing (Computer science)
Logic, Symbolic and mathematical.
elektronické knihy
electronic books
Online AccessPlný text

Cover

Table of Contents:
  • 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čardenfors
  • 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.

Similar Items