Interactive Logic Selected Papers from the 7th Augustus de Morgan Workshop, London

Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic - the domain of logic for both communication and interaction. The main applications of this move are logical approaches...

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Diğer Yazarlar: van Benthem, Johan (Editör), Gabbay, Dov (Editör), Löwe, Benedikt (Editör)
Materyal Türü: Elektronik Kitap Bölümü
Dil:İngilizce
Baskı/Yayın Bilgisi: Amsterdam University Press 2008
Seri Bilgileri:Texts in Logic and Games 1
Konular:
Online Erişim:OAPEN Library: download the publication
OAPEN Library: description of the publication
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
Diğer Bilgiler
Özet:Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic - the domain of logic for both communication and interaction. The main applications of this move are logical approaches to games and social software. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games.
In november 2005 werd de zevende editie van de Augustus Morgan Workshop gehouden. Hierin werd de focus van het logicaonderzoek op het terrein van de interactieve logica behandeld. Maar ook de rijkdom van de belangrijkste toepassingen op dit gebied; logische benaderingen van games en social software. Uit de workshop is de nieuwe serie 'Texts in Logic and Games' ontstaan. Het eerste deel, Interactive Logic, is een collectie uitmuntende onderzoeksopstellen op het gebied van logica, wiskunde, computerwetenschappen en gametheorie.
Fiziksel Özellikler:1 electronic resource (362 p.)
ISBN:9789053563564
Erişim:Open Access