ICC 25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Axiomatizing the crisp Gödel modal logic
Autor/es:
AMANDA VIDAL; RICARDO O. RODRIGUEZ
Lugar:
Nice
Reunión:
Conferencia; TACL 2019; 2019
Institución organizadora:
Université Côte d?Azur
Resumen:
In their paper [4] Caicedo and Rodriguez consider a modal logic over Godel logic with two operators 2 and 3. The language L(V ar) is built from a countable set V ar of propositional variables, connectives symbols _; ^; !; ?; and the modal operator symbols 2 and 3. We will simply write L23 23 assuming V ar is known and xed.
