Ineke van der Berg, Andrea De Domenico, Giuseppe Greco 0001, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere. Labelled Calculi for Lattice-Based Modal Logics. In Mohua Banerjee, A. V. Sreejith, editors, Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings. Volume 13963 of Lecture Notes in Computer Science, pages 23-47, Springer, 2023. [doi]
@inproceedings{BergDGMPP23,
title = {Labelled Calculi for Lattice-Based Modal Logics},
author = {Ineke van der Berg and Andrea De Domenico and Giuseppe Greco 0001 and Krishna Manoorkar and Alessandra Palmigiano and Mattia Panettiere},
year = {2023},
doi = {10.1007/978-3-031-26689-8_3},
url = {https://doi.org/10.1007/978-3-031-26689-8_3},
researchr = {https://researchr.org/publication/BergDGMPP23},
cites = {0},
citedby = {0},
pages = {23-47},
booktitle = {Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings},
editor = {Mohua Banerjee and A. V. Sreejith},
volume = {13963},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-26689-8},
}