Aggeliki Chalki, Costas D. Koutras, Yorgos Zikos. A note on the complexity of S4.2. Journal of Applied Non-Classical Logics, 31(2):108-129, 2021. [doi]
@article{ChalkiKZ21,
title = {A note on the complexity of S4.2},
author = {Aggeliki Chalki and Costas D. Koutras and Yorgos Zikos},
year = {2021},
doi = {10.1080/11663081.2021.1901560},
url = {https://doi.org/10.1080/11663081.2021.1901560},
researchr = {https://researchr.org/publication/ChalkiKZ21},
cites = {0},
citedby = {0},
journal = {Journal of Applied Non-Classical Logics},
volume = {31},
number = {2},
pages = {108-129},
}