The One-Variable Fragment of Corsi Logic

Caicedo, Xavier; Metcalfe, George; Rodriguez, Ricardo; Tuyt, Olim Frits (2019). The One-Variable Fragment of Corsi Logic. In: Iemhoff, Rosalie; Moortgat, Michael; de Queiroz, Ruy (eds.) Logic, Language, Information, and Computation. Proceedings of WoLLIC 2019. Lecture Notes in Computer Science: Vol. 11541 (pp. 70-83). Berlin: Springer

[img] Text
cmrt19_final.pdf - Accepted Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (355kB) | Request a copy

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(Gc), the modal counterpart of the one-variable fragment of first-order Gödel logic. Finally, an algebraic finite model property is proved for S5(Gc) and used to establish co-NP-completeness for validity in the aforementioned modal logics and one-variable fragments.

Item Type:

Book Section (Book Chapter)

Division/Institute:

08 Faculty of Science > Department of Mathematics and Statistics > Institute of Mathematics

UniBE Contributor:

Metcalfe, George and Tuyt, Olim Frits

Subjects:

500 Science > 510 Mathematics

ISSN:

0302-9743

ISBN:

978-3-662-59532-9

Series:

Lecture Notes in Computer Science

Publisher:

Springer

Language:

English

Submitter:

George Metcalfe

Date Deposited:

24 Jul 2019 10:57

Last Modified:

23 Oct 2019 13:39

BORIS DOI:

10.7892/boris.131548

URI:

https://boris.unibe.ch/id/eprint/131548

Actions (login required)

Edit item Edit item
Provide Feedback