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

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 |