game theoretic semantics, dialogic logic & dialogue games

Article View: sci.logic

Article #138

#138

From: Daniel Mahler
Date: Wed, 05 Sep 1990 02:01

15 lines
1161 bytes

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

Technical Details

Message-ID: <8704@latcs1.oz.au>

Path:

arc1-ca.pugleaf.net!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

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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