Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
0902.2104
Cited By
v1
v2 (latest)
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time
12 February 2009
V. Goranko
D. Shkatov
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time"
2 / 2 papers shown
Reducing Validity in Epistemic ATL to Validity in Epistemic CTL
Dimitar P. Guelev
137
4
0
04 Mar 2013
Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge
Logic Journal of the IGPL (JIGPL), 2012
M. Ajspur
V. Goranko
D. Shkatov
119
6
0
25 Jan 2012
1
Page 1 of 1
