Regivan H. N. Santiago, BenjamÃn R. C. Bedregal, Alexandre Madeira, Manuel A. Martins. On interval dynamic logic: Introducing quasi-action lattices. Science of Computer Programming, 175:1-16, 2019. [doi]
@article{SantiagoBMM19,
title = {On interval dynamic logic: Introducing quasi-action lattices},
author = {Regivan H. N. Santiago and BenjamÃn R. C. Bedregal and Alexandre Madeira and Manuel A. Martins},
year = {2019},
doi = {10.1016/j.scico.2019.01.007},
url = {https://doi.org/10.1016/j.scico.2019.01.007},
researchr = {https://researchr.org/publication/SantiagoBMM19},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {175},
pages = {1-16},
}