Katalin Bimbó, J. Michael Dunn. Relational Semantics for Kleene Logic and Action Logic. Notre Dame Journal of Formal Logic, 46(4):461-490, 2005. [doi]
@article{BimboD05,
title = {Relational Semantics for Kleene Logic and Action Logic},
author = {Katalin Bimbó and J. Michael Dunn},
year = {2005},
url = {http://projecteuclid.org/euclid.ndjfl/1134397663},
tags = {semantics, action semantics, logic},
researchr = {https://researchr.org/publication/BimboD05},
cites = {0},
citedby = {0},
journal = {Notre Dame Journal of Formal Logic},
volume = {46},
number = {4},
pages = {461-490},
}