Simpler completeness proofs for modal logics with intersection

DOI10.1007/978-3-030-65840-3_16OpenAlexW3126517661MaRDI QIDQ2055770

Yanyan Li

Publication date: 1 December 2021

Full work available at URL: https://arxiv.org/abs/2004.02120

zbMATH Keywords

modal logiccompletenessepistemic logicdistributed knowledgeintersection modalitytransitive closure of union modality

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (4)

Weighted modal logic in epistemic and deontic contexts ⋮ On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge ⋮ Data-informed knowledge and strategies ⋮ Intelligence in Strategic Games

This page was built for publication: Simpler completeness proofs for modal logics with intersection