Xref: utzoo sci.logic:945 comp.lang.prolog:3142 comp.lang.functional:413
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!zaphod.mps.ohio-state.edu!rpi!batcomputer!munnari.oz.au!mel.dit.csiro.au!latcs1!mahler
From: mahler@latcs1.oz.au (Daniel Mahler)
Newsgroups: sci.logic,comp.lang.prolog,comp.lang.functional
Subject: game theoretic semantics, dialogic logic & dialogue games
Message-ID: <8704@latcs1.oz.au>
Date: 5 Sep 90 02:01:21 GMT
Followup-To: sci.logic
Organization: Comp Sci, La Trobe Uni, Australia
Lines: 15

Does anyone know of any relatively recent work/results/publications
in these areas, especially if it is computation oriented.
I can only find references up to the early 80's,
with one exception.
The main authors in these areas are Hintikka (game theoretic semantics)
and Lorenz & Lorenzen (dialogue/dialogic logic - these guys have a nasty :-)
habit of writing in german)

I am sure this stuff is very relevant to CS in many ways
(computation theory, theorem proving & logic programming, NLP, yet another
  formal semantics for computer languages ...)
However all I have read is primarily concerned with linguistics and
philosophy.
	Thanks in advance
		Daniel Mahler