Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time

Valentin Goranko, Dmitry Shkatov

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

93 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations
Editors	Matteo Baldoni
Publisher	RWTH Aachen University
Publication date	2009
Pages	25
Publication status	Published - 2009
Event	2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations - Torino, Italy Duration: 7 Sept 2009 → 10 Sept 2009 Conference number: 2

Conference	2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations
Number	2
Country/Territory	Italy
City	Torino
Period	07/09/2009 → 10/09/2009

Access to Document

@inproceedings{a6460646b96544b88fa2c16e4de06199,

title = "Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time",

author = "Valentin Goranko and Dmitry Shkatov",

year = "2009",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "RWTH Aachen University",

number = "vol. 494",

pages = "25",

editor = "Matteo Baldoni",

booktitle = "Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations",

note = "2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations, MALLOW 2009 ; Conference date: 07-09-2009 Through 10-09-2009",

}

Goranko, V & Shkatov, D 2009, Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time. in M Baldoni (ed.), Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations. RWTH Aachen University, CEUR Workshop Proceedings, no. vol. 494, pp. 25, 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations, Torino, Italy, 07/09/2009. <http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-494/>

Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time. / Goranko, Valentin; Shkatov, Dmitry.
Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations. ed. / Matteo Baldoni. RWTH Aachen University, 2009. p. 25 (CEUR Workshop Proceedings; No. vol. 494).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time

AU - Goranko, Valentin

AU - Shkatov, Dmitry

N1 - Conference code: 2

PY - 2009

Y1 - 2009

M3 - Article in proceedings

T3 - CEUR Workshop Proceedings

SP - 25

BT - Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations

A2 - Baldoni, Matteo

PB - RWTH Aachen University

T2 - 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations

Y2 - 7 September 2009 through 10 September 2009

ER -