Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions*

DOI10.1093/LOGCOM/EXX040zbMath1444.03032OpenAlexW2770301465MaRDI QIDQ4612412

Yanjun Li

Publication date: 31 January 2019

Published in: Unnamed Author (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exx040

zbMATH Keywords

tableauxperfect recallno miracles

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Combined logics (03B62)

This page was built for publication: Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions*