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

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

View graph of relations

Original languageEnglish
Title of host publicationProceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations
EditorsMatteo Baldoni
PublisherRWTH Aachen University
Publication date2009
Pages25
StatePublished

Conference

Conference2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations
Number2
CityTorino, Italy
Period01/01/09 → …
NameCEUR Workshop Proceedings
Numbervol. 494
ISSN (Print)1613-0073
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

Download statistics

No data available

ID: 4610254