Logic, Language and Computation, Vol. 1
This volume presents work that evolved out of the Third Conference on Situation Theory and Its Applications, held at Oiso, Japan, in November of 1991. The chapters presented in this volume continue the mathematical development of situation theory, including the introduction of a graphical notation; and the applications of situation theory discussed are wide-ranging, including topics in natural language semantics and philosophical logic, and exploring the use of information theory in the...
Search in google:
Presents work that evolved out of the Third Conference on Situation Theory and Its Applications, held at Oiso, Japan, in November of 1991.
1Generalised Set Theory12Information-Oriented Computation with BABY-SIT173Reasoning with Diagram Sequences334Information Flow and the Lambek Calculus475Logical Aspects of Combined Structures636On Rich Ontologies for Tense and Aspect757Naturalising Constraints918Reflexivity and Belief De Se1079A Channel-Theoretic Model for Conditional Logics12110The Attitudes in Discourse Representation Theory and Situation Semantics13711A Compositional Situation Semantics for Attitude Reports15112Intensional Verbs Without Type-Raising or Lexical Ambiguity16713Representation and Information in Dynamic Semantics18314A Persistent Notion of Truth in Dynamic Semantics19915Dynamics and the Semantics of Dialogue22116Towards a Channel-Theoretic Account of the Progressive23917This Might Be It25518Euler and the Role of Visualization in Logic27119Individuation and Reasoning28720Where Monsters Dwell30321A Distributed System Model for Actions of Situated Agents31722Information, Representation and the Possibility of Error33323Bridging Situations and NPI Licensing34724A Diagrammatic Inference System for Geometry36325Belief as a Form of Subjective Information37326Diagram Contents and Representational Granularity38927Constraints on Coalgebras40528Proof Styles in Multimodal Reasoning41929Austinian Pluralities43330Interfacing Situations44331Information Flow and Relevant Logics46332Attunement to Constraints in Nonmonotonic Reasoning47933A Simultaneous Abstraction Calculus and Theories of Semantics49534Minimal Truth Predicates and Situation Theory51135Reasoning with Diagrams and Geometrical Constraints52736A Legal Reasoning System Based on Situation Theory54137An E-type Logic55538From Utterances to Situations: Parsing with Constructions in Small Domains571Index587
