内容

目次

1. Generalised set theory P. Aczel; 2. Information-oriented computationwith BABY-SIT: E. Tin and V. Akman; 3. Reasoning with diagram sequences M.Anderson; 4. Information flow and the Lambek calculus J. Barwise, D. Gabbayand C. Hartonas; 5. Logical aspects of combined structures P. Blackburn andM. de Rijke; 6. On rich ontologies for tense and aspect P. Blackburn et al.;7. Naturalising constraints N. Braisby and R. P. Cooper; 8. Reflexivity andbelief de se K. L. Brown; 9. A channel-theoretic model for conditional logicsL. Cavedon; 10. A compositional situation semantics for attitude reports R.Cooper and J. Ginzburg; 11. The attitudes in discourse representation theoryand situation semantics R. Cooper; 12. Intensional verbs without type-raisingor lexical ambiguity M. Dalrymple et al; 13. Representation and informationin dynamic semantics P. Dekker; 14. A persistent notion of truth in dynamicsemantics T. Fernando; 15. Dynamics and the semantics of dialogue J.Ginzburg; 16. Towards a channel-theoretic account of the progressive S.Glasbey; 17. This might be it J. Groenendijk et al; 18. Euler and the role ofvisualization in logic E. Hammer and S. Shin; 19. Individuation and reasoningK. Ishikawa; 20. Where monsters dwell D. Israel and J. Perry; 21. Adistributed system model for actions of situated agents Y. Katagiri; 22.Information, representation and the possibility of error R. C. Koons; 23.Bridging situations and NPI licensing I. Lee; 24. A diagrammatic inferencesystem for geometry I. Luengo; 25. Belief as a form of subjective informationD. Mack; 26. Diagram contents and representational granularity K. Manders;27. Constraints on coalgebras K. Mukai; 28. Proof styles in multimodalreasoning J. Oberlander et al; 29. Austinian pluralities D. Oehrle; 30.Interfacing situations J. Perry and E. Macken; 31. Information flow andrelevant logics G. Restall; 32. Attunement to constraints in nonmonotonicreasoning W. C. Rounds and G. Zhang; 33. A simultaneous abstraction calculusand theories of semantics P. Ruhrberg; 34. Minimal truth predicates andsituation theory S. Schulz; 35. Reasoning with diagrams and geometricalconstraints A. Shimojima; 36. A legal reasoning system based on situationtheory S. Tojo and S. Won; 37. An E-type logic J. van der Does; 38. Fromutterances to situations: parsing with constructions in small domains W.Zadrozny.