Proof theory for distributed knowledge

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig › Peer review

Originalspråk	engelska
Titel på gästpublikation	Computational logic in multi-agent systems : [edited by] Fariba Sadri, Ken Satoh
Antal sidor	17
Utgivningsort	New York
Förlag	Springer
Utgivningsdatum	2008
Sidor	100-116
Status	Publicerad - 2008
MoE-publikationstyp	A3 Del av bok eller annan forskningsbok

Vetenskapsgrenar

@inbook{30f207496e234a7788afeefa46176bc7,

title = "Proof theory for distributed knowledge",

keywords = "611 Philosophy, logiikka, tietoteoria, todistusteoria, logiikka, tietoteoria, todistusteoria, logiikka, tietoteoria, todistusteoria",

author = "Raul Hakli and Sara Negri",

year = "2008",

language = "English",

pages = "100--116",

booktitle = "Computational logic in multi-agent systems",

publisher = "Springer",

address = "United States",

}

TY - CHAP

T1 - Proof theory for distributed knowledge

AU - Hakli, Raul

AU - Negri, Sara

PY - 2008

Y1 - 2008

KW - 611 Philosophy

KW - logiikka

KW - tietoteoria

KW - todistusteoria

KW - logiikka

KW - tietoteoria

KW - todistusteoria

KW - logiikka

KW - tietoteoria

KW - todistusteoria

M3 - Chapter

SP - 100

EP - 116

BT - Computational logic in multi-agent systems

PB - Springer

CY - New York

ER -