Logic, language, and computation (Book, 1996) [WorldCat.org]
skip to content
New WorldCat.org coming soon
Logic, language, and computation
Checking...

Logic, language, and computation

Author: Jerry Seligman; Dag Westerståhl; Lawrence Cavedon
Publisher: Stanford, Calif. : CSLI Publications, ©1996-©2000.
Series: CSLI lecture notes, no. 58, 96, 111.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Bringing ideas from diverse perspectives to present a concensus about what a conclusive theory of information should be, this text provides an introduction to the topic, work on underlying ideas and  Read more...

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; 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

Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.