Tableaux for single-agent epistemic PDL with perfect recall and no miracles

Yanjun Li*

*Bijbehorende auteur voor dit werk

OnderzoeksoutputAcademicpeer review

2 Citaten (Scopus)

Samenvatting

Epistemic 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.

Originele taal-2English
TitelLogic, Rationality, and Interaction
Subtitel5th International Workshop, LORI 2015, Proceedings
RedacteurenWiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang
UitgeverijSpringer Verlag
Pagina's230-242
Aantal pagina's13
ISBN van elektronische versie9783662485613
ISBN van geprinte versie9783662485606
DOI's
StatusPublished - 2015
Evenement5th International Workshop on Logic, Rationality, and Interaction, LORI 2015 - Taipei, Taiwan, Province of China
Duur: 28-okt-201531-okt-2015

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9394
ISSN van geprinte versie03029743
ISSN van elektronische versie16113349

Conference

Conference5th International Workshop on Logic, Rationality, and Interaction, LORI 2015
Land/RegioTaiwan, Province of China
StadTaipei
Periode28/10/201531/10/2015

Citeer dit