Logic and information flow

By: Eijck, Jan van. EdContributor(s): Eijck, Jan van. Ed | Visser, Albert. EdMaterial type: TextTextLanguage: English Series: Foundations of computingPublication details: Cambridge The MIT Press 1994Description: 233pISBN: 0262220474Subject(s): Computer science | Natural language processing (Computer science) | Logic, Symbolic and mathematical | Mathematics
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ä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
Item type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified Status Date due Barcode
IMSc Library
IMSc Library
510.6 EIJ (Browse shelf (Opens below)) Available 34172

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

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha