Logic and information flow
Material type: TextLanguage: 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 | MathematicsCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 EIJ (Browse shelf (Opens below)) | Available | 34172 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
510.6 EBB Finite Model Theory | 510.6 EBB Finite Model theory | 510.6 EDM How to Think about Algorithms | 510.6 EIJ Logic and information flow | 510.6 EIS Computations in Algebraic Geometry with Macaulay 2 | 510.6 END Mathematical Introduction to Logic | 510.6 ESP Finite and algorithmic model theory |
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.