ICC   25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
artículos
Título:
The one- variable fragment of corsi logic
Autor/es:
RICARDO O. RODRIGUEZ; XAVIER CAICEDO; OLIM TUYT; GEORGE METCALFE
Revista:
LECTURE NOTES IN COMPUTER SCIENCE
Editorial:
Springer
Referencias:
Lugar: Amsterdam; Año: 2019 vol. 1154
ISSN:
0302-9743
Resumen:
In this paper, we investigate the analogous situation for one-variable fragmentsof intermediate logics defined over a countable linear frame without the constantdomain assumption. More precisely, we prove that the modal counterpart of sucha one-variable fragment is a Godel modal logic S5(A) defined over A-valuedequivalence relations for some Godel set A (Section 4), and vice versa (Section 5).We prove in particular that the one-variable fragment of the intermediate logic