The One-Variable Fragment of Corsi Logic

RICARDO O. RODRIGUEZ; GEORGE METCALFE; XAVIER CAICEDO; OLIM TUYT

Utrecht

Conferencia; WOLLIC 2019; 2019

Utrecht University

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