The One-Variable Fragment of Corsi Logic

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

Amsterdam

Conferencia; SYSMICS 2019; 2019

Universidad de Amsterdam

The one-variable fragment of the rst-order logic of linearintuitionistic Kripke models, referred to here as Corsi logic, is shown tohave 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.