@incollection {Ivlev,
author = {Tommaso Flaminio and Llu\'is Godo and Paula Mench\'on and Ricardo Oscar Rodr\'iguez},
title = {Algebras and relational frames for Gödel modal logic and some of its extensions},
abstract = "Gödel modal logics can be seen as extensions of intutionistic modal logics with the prelinearity axiom. In this paper we focus on the algebraic and relational semantics for Godel modal logics that leverages on the duality between finite Gödel algebras and finite forests, i.e. finite posets whose principal downsets are totally ordered. We consider different subvarieties of the basic variety $\mathbb{GAO}$ of Gödel algebras with two modal operators (GAOs for short) and their corresponding classes of forest frames, either with one or two accessibility relations. These relational structures can be considered as prelinear versions of the usual relational semantics of intuitionistic modal logic. More precisely we consider two main extensions of finite Gödel algebras with operators: the one obtained by adding Dunn axioms, typically studied in the fragment of positive classical (and intuitionistic) logic, and the one determined by adding Fischer Servi axioms. We present J\'onsson-Tarski like representation theorems for the different types of finite GAOs considered in the paper.",
Booktitle = {Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev},
Editor = {M. Coniglio and E. Koubychkina and D. Zaitsev},
year = "In Press",
series = {Synthese Library},
Publisher = {Springer (Also as CoRR, abs/2110.02528. http://arxiv.org/abs/2110.02528)}}