Axiomatizing the crisp Gödel modal logic

Authors: R. O. Rodriguez, Amanda Vidal
Publication year: 2019
Publication type: Abstrakt
Periodical: TACL 2019. Abstracts
Bibliographic citation: RODRIGUEZ, R. O., VIDAL, Amanda. Axiomatizing the crisp Gödel modal logic. In: GHILARDI, S., JANSANA, R., GEHRKE, M., eds. TACL 2019. Abstracts. Nice: Université Côte d’Azur, 2019, S. 184-185. Dostupné z: https://math.unice.fr/tacl/assets/2019/abstracts.pdf
ID: 507713

Abstract

Several recent publications in the literature address the study of modal expansions of manyvalued logics, and it is the aim of the current work to contribute to the better understanding of this topic. In particular, we close the problem left open in [6] and [3] of finding an axiomatization for the Goedel Modal Logic with crisp accessibility and the two usual modal operators [] and <>.