Logic, Language and Computation

& (eds.)
Center for the Study of Language and Inf (1996)
  Copy   BIBTEX

Abstract

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 social sciences. The research presented in this volume reflects a growing international and interdisciplinary activity of importance for many fields concerned with information.

Categories

Keywords

Reprint years

ISBN(s)

9781881526896   1881526895   9781881526902   18815269091   1881526909
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Rich ontologies for tense and aspect.Patrick Blackburn, Claire Gardent & Maarten De Rijke
Reflexivity and Belief De Se.K. Leigh Brown
A compositional situation semantics for attitude reports.Robin Cooper & Jonathan Ginzburg
Where monsters dwell.David Israel & John Perry
Diagram Contents and Representational Granularity.Kenneth Manders
Interfacing Situations.John Perry & Elizabeth Macken
Information flow and relevant logics.Greg Restall
Reasoning with diagrams and geometrical constraints.Atsushi Shimojima

Similar books and articles

Language, Logic, and Computation: the 1994 Moraga Proceedings.Dag Westerstahl & Jeremy Seligman (eds.) - 1996 - CSLI.
Lecture Notes on Artificial Intelligence 5422, Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation.Peter Bosch, David Gabelaia & Jérôme Lang (eds.) - 2009 - Springer.
Logic, language games and ludics.Ahti-Veikko Pietarinen - 2003 - Acta Analytica 18 (30/31):89-123.
3rd Workshop on Logic, Language, Information and Computation and Brazilian Conference on Mathematical Logic.[author unknown] - 1995 - Logic Journal of the IGPL 3 (5):819-820.
Algebras, Diagrams, and Decisions in Language, Logic and Computation.Kees Vermeulen & Ann Copestake - 2001 - Stanford Univ Center for the Study.
Logic of Computation.Helmut Schwichtenberg, North Atlantic Treaty Organization & Nato Advanced Study Institute on Logic of Computation - 1997 - Boom Koninklijke Uitgevers.
Effective logic computation, Klaus truemper.Lex Hendriks - 1999 - Journal of Logic, Language and Information 8 (4):481-484.
Language technologies for instructional resources in bulgarian.Ivelina Nikolova - 2010 - In T. Icard & R. Muskens (eds.), Interfaces: Explorations in Logic, Language and Computation. Springer Berlin. pp. 114--123.
Logic and computation: interactive proof with Cambridge LCF.Lawrence C. Paulson - 1987 - New York: Cambridge University Press.
The Computational Complexity of Quantified Reciprocals.Jakub Szymanik - 2009 - In Peter Bosch, David Gabelaia & Jérôme Lang (eds.), Lecture Notes on Artificial Intelligence 5422, Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation. Springer.
Second Workshop on Logic, Language, Information and Computation.Ruy B. de Queiroz - 1996 - Logic Journal of the IGPL 4 (2):309-344.
Workshop on Logic, Language, Information and Computation '94.[author unknown] - 1995 - Logic Journal of the IGPL 3 (1):124-146.
8th Workshop on Logic, Language, Information and Computation.Ruy B. de Queiroz - 2001 - Logic Journal of the IGPL 9 (5):739-754.
5th Workshop on Logic, Language, Information and Computation (Wollic'98).Ruy J. G. B. de Queiroz - 1999 - Bulletin of Symbolic Logic 5 (3):422-423.
The European Association for Logic, Language, and Computation.J. F. A. K. Van Benthem & H. J. B. M. Van Der Linden - 1994 - Journal of Symbolic Logic 59 (3):1116 -.

Analytics

Added to PP
2010-06-22

Downloads
67 (#238,510)

6 months
11 (#225,837)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dag Westerståhl
Stockholm University
Jeremy Seligman
University of Auckland

Citations of this work

Add more citations

References found in this work

No references found.

Add more references