TitleTableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles
AuthorsLi, Yanjun
AffiliationPeking Univ, Dept Philosophy, Beijing, Peoples R China.
Univ Groningen, Fac Philosophy, NL-9700 AB Groningen, Netherlands.
Issue Date2015
PublisherLOGIC, RATIONALITY, AND INTERACTION (LORI 2015)
CitationLOGIC, RATIONALITY, AND INTERACTION (LORI 2015).Natl Taiwan Univ, Dept Philosophy, Taipei, TAIWAN,2015/1/1,9394(230-242).
AbstractEpistemic propositional dynamic logic (EPDL) is a combination of epistemic logic and propositional dynamic logic. The properties, perfect recall and no miracles, capture the interactions between actions and knowledge. In this paper, we present a tableau-based decision procedure for deciding satisfiability of single-agent EPDL with perfect recall and no miracles. We prove the soundness and completeness of the tableau procedure with respect to models with perfect recall and no miracles.
URIhttp://hdl.handle.net/20.500.11897/436968
ISSN0302-9743
DOI10.1007/978-3-662-48561-3_19
IndexedEI
CPCI-S(ISTP)
Appears in Collections:哲学系(宗教学系)

Files in This Work
There are no files associated with this item.

Web of Science®



Checked on Last Week

Scopus®



Checked on Current Time

百度学术™



Checked on Current Time

Google Scholar™





License: See PKU IR operational policies.