Algebras and relational frames for G\"{o}del modal logic and some of its extensions

TL;DR

This paper explores algebraic and relational semantics for G"odel modal logics, focusing on duality with finite G"odel algebras and forests, and extends these frameworks with Dunn and Fischer Servi axioms.

Contribution

It introduces duality-based semantics for G"odel modal logics with multiple modal operators and provides representation theorems for finite algebraic structures with these extensions.

Findings

Established duality between finite G"odel algebras and forests.

Developed relational semantics with one or two accessibility relations.

Proved representation theorems for extended G"odel algebras.

Abstract

G\"odel modal logics can be seen as extenions of intutionistic modal logics with the prelinearity axiom. In this paper we focus on the algebraic and relational semantics for G\"odel modal logics that leverages on the duality between finite G\"odel algebras and finite forests, i.e. finite posets whose principal downsets are totally ordered. We consider different subvarieties of the basic variety of G\"odel 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\"odel 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.