Norihiro Kamide, Heinrich Wansing. A Paraconsistent Linear-time Temporal Logic. Fundamenta Informaticae, 106(1):1-23, 2011. [doi]
@article{KamideW11,
title = {A Paraconsistent Linear-time Temporal Logic},
author = {Norihiro Kamide and Heinrich Wansing},
year = {2011},
doi = {10.3233/FI-2011-374},
url = {http://dx.doi.org/10.3233/FI-2011-374},
tags = {logic},
researchr = {https://researchr.org/publication/KamideW11},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {106},
number = {1},
pages = {1-23},
}