The one-variable fragment of the first-order logic of linear intuitionistic Kripke models, referred to here as Corsi logic, is shown to have as its modal counterpart the many-valued modal logic S5(G). It is also shown that S5(G) can be interpreted in the crisp many-valued modal logic S5(G), the modal counterpart of the one-variable fragment of first-order Gödel logic. Finally, an algebraic finite model property is proved for S5(G) and used to establish co-NP-completeness for validity in the aforementioned modal logics and one-variable fragments.
CITATION STYLE
Caicedo, X., Metcalfe, G., Rodríguez, R., & Tuyt, O. (2019). The One-Variable Fragment of Corsi Logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11541 LNCS, pp. 70–83). Springer Verlag. https://doi.org/10.1007/978-3-662-59533-6_5
Mendeley helps you to discover research relevant for your work.