Exportar referência
APA
Diana Costa, (2023). 4DL: a four-valued dynamic logic and its proof theory. Journal of Logic and Computation, 33, 1326-1349. ISSN 0955-792X. eISSN . http://dx.doi.org/10.1093/logcom/exad044
IEEE
Diana Costa, "4DL: a four-valued dynamic logic and its proof theory" in Journal of Logic and Computation, vol. 33, pp. 1326-1349, 2023.
10.1093/logcom/exad044
BIBTEX
@article{59653,
author = {Diana Costa},
title = {4DL: a four-valued dynamic logic and its proof theory},
journal = {Journal of Logic and Computation},
year = 2023,
pages = {1326-1349},
volume = 33
}