Results 1-1 of 1
 | 
Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles
会议论文
Li, Yanjun
LOGIC, RATIONALITY, AND INTERACTION (LORI 2015)
2015
[ABSTRACT] Epistemic propositional dynamic logic (EPDL) is a combination of epistemic logic and propositional dynamic logic. The properties, perfect recall an...
[KEYWORDS] 
Results 1-1 of 1
  • <<
  • 1
  • >>

Data Facts

Indexed Database
Content Type
Language