Efficient Local Reductions to Basic Modal Logic



Papacchini, Fabio ORCID: 0000-0002-0310-7378, Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare ORCID: 0000-0002-4610-9533
(2021) Efficient Local Reductions to Basic Modal Logic. In: Unspecified , 76 - 92.

[img] Text
cade2021.pdf - Accepted Version

Download (401kB) | Preview
Item Type: Book Section
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 02 Aug 2021 10:51
Last Modified: 09 Aug 2022 22:10
DOI: 10.1007/978-3-030-79876-5_5
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3131113