mahler@latcs1.oz.au (Daniel Mahler) (09/05/90)
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