Igor Sedlár. Propositional dynamic logic with Belnapian truth values. In Lev D. Beklemishev, Stéphane Demri, András Maté, editors, Advances in Modal Logic 11, proceedings of the 11th conference on "Advances in Modal Logic," held in Budapest, Hungary, August 30 - September 2, 2016. pages 503-519, College Publications, 2016. [doi]
@inproceedings{Sedlar16-0,
title = {Propositional dynamic logic with Belnapian truth values},
author = {Igor Sedlár},
year = {2016},
url = {http://www.aiml.net/volumes/volume11/Sedlar.pdf},
researchr = {https://researchr.org/publication/Sedlar16-0},
cites = {0},
citedby = {0},
pages = {503-519},
booktitle = {Advances in Modal Logic 11, proceedings of the 11th conference on "Advances in Modal Logic," held in Budapest, Hungary, August 30 - September 2, 2016},
editor = {Lev D. Beklemishev and Stéphane Demri and András Maté},
publisher = {College Publications},
isbn = {978-1-84890-201-5},
}