Propositional dynamic logic with Belnapian truth values
Logic in Computer Science
2016-08-23 v1
Abstract
We introduce BPDL, a combination of propositional dynamic logic PDL with the basic four-valued modal logic BK studied by Odintsov and Wansing (`Modal logics with Belnapian truth values', J. Appl. Non-Class. Log. 20, 279--301 (2010)). We modify the standard arguments based on canonical models and filtration to suit the four-valued context and prove weak completeness and decidability of BPDL.
Keywords
Cite
@article{arxiv.1608.06084,
title = {Propositional dynamic logic with Belnapian truth values},
author = {Igor Sedlár},
journal= {arXiv preprint arXiv:1608.06084},
year = {2016}
}
Comments
To appear in the Proceedings of Advances in Modal Logic 2016