Find a copy in the library
Finding libraries that hold this item...
Details
| Material Type: | Internet resource |
|---|---|
| Document Type: | Book, Internet Resource |
| All Authors / Contributors: |
Jerry Seligman; Dag Westerståhl; Lawrence Cavedon |
| ISBN: | 1881526909 9781881526902 1881526895 9781881526896 157586181X 9781575861814 1575861801 9781575861807 1575862670 9781575862675 1575862689 9781575862682 |
| OCLC Number: | 33862853 |
| Notes: | Vol. 2 edited by Lawrence S. Moss, Jonathan Ginzburg, Maarten de Rijke. Vol. 3 edited by Lawrence Cavedon and others. |
| Description: | 3 volumes : illustrations ; 24 cm. |
| Contents: | 1. Generalised Set Theory / Peter Aczel -- 2. Information-Oriented Computation with BABY-SIT / Erkan Tin and Varol Akman -- 3. Reasoning with Diagram Sequences / Michael Anderson -- 4. Information Flow and the Lambek Calculus / Jon Barwise, Dov Gabbay and Chrysafis Hartonas -- 5. Logical Aspects of Combined Structures / Patrick Blackburn and Maarten de Rijke -- 6. On Rich Ontologies for Tense and Aspect / Patrick Blackburn, Claire Gardent and Maarten de Rijke -- 7. Naturalising Constraints / Nick Braisby and Richard P. Cooper -- 8. Reflexivity and Belief De Se / Karen Leigh Brown -- 9. A Channel-Theoretic Model for Conditional Logics / Lawrence Cavedon -- 10. The Attitudes in Discourse Representation Theory and Situation Semantics / Robin Cooper -- 11. A Compositional Situation Semantics for Attitude Reports / Robin Cooper and Jonathan Ginzburg -- 12. Intensional Verbs Without Type-Raising or Lexical Ambiguity / Mary Dalrymple, John Lamping, Fernando Pereira and Vijay Saraswat -- 13. Representation and Information in Dynamic Semantics / Paul Dekker -- 14. A Persistent Notion of Truth in Dynamic Semantics / Tim Fernando -- 15. Dynamics and the Semantics of Dialogue / Jonathan Ginzburg -- 16. Towards a Channel-Theoretic Account of the Progressive / Sheila Glasbey -- 17. This Might Be It / Jeroen Groenendijk, Martin Stokhof and Frank Veltman -- 18. Euler and the Role of Visualization in Logic / Eric Hammer and Sun-Joo Shin -- 19. Individuation and Reasoning / Kiyoshi Ishikawa -- 20. Where Monsters Dwell / David Israel and John Perry -- 21. A Distributed System Model for Actions of Situated Agents / Yasuhiro Katagiri -- 22. Information, Representation and the Possibility of Error / Robert C. Koons -- 23. Bridging Situations and NPI Licensing / Ik-Hwan Lee -- 24. A Diagrammatic Inference System for Geometry / Isabel Luengo. 25. Belief as a Form of Subjective Information / Daniel Mack -- 26. Diagram Contents and Representational Granularity / Kenneth Manders -- 27. Constraints on Coalgebras / Kuniaki Mukai -- 28. Proof Styles in Multimodal Reasoning / Jon Oberlander, Richard Cox and Keith Stenning -- 29. Austinian Pluralities / Dick Oehrle -- 30. Interfacing Situations / John Perry and Elizabeth Macken -- 31. Information Flow and Relevant Logics / Greg Restall -- 32. Attunement to Constraints in Nonmonotonic Reasoning / William C. Rounds and Guo-Qiang Zhang -- 33. A Simultaneous Abstraction Calculus and Theories of Semantics / Peter Ruhrberg -- 34. Minimal Truth Predicates and Situation Theory / Stephen Schulz -- 35. Reasoning with Diagrams and Geometrical Constraints / Atsushi Shimojima -- 36. A Legal Reasoning System Based on Situation Theory / Satoshi Tojo and Stephen Wong -- 37. An E-type Logic / Jaap van der Does -- 38. From Utterances to Situations: Parsing with Constructions in Small Domains / Wlodek Zadrozny. |
| Series Title: | CSLI lecture notes, no. 58, 96, 111. |
| Responsibility: | edited by Jerry Seligman & Dag Westerståhl. |
| More information: |
Reviews
