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 AccessFull text
ISBN9780262285421
Physical Description1 online zdroj (233 p.) : ill.

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