# Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions

arXiv: https://arxiv.org/abs/2105.06570 · HTML: https://mlsanity.com/paper/2105.06570/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 1 of its 36 references that are in the map.
- First posted on arXiv 13 May 2021.

## Builds on (most cited first, 1 of 1)

- [Possibilistic semantics for a modal KD45 extension of G"odel fuzzy logic](https://mlsanity.com/paper/1611.04444/) (2016)

## Abstract (arXiv)

In this paper, we provide simplified semantics for the logic K45(G), i.e. the many-valued Godel counterpart of the classical modal logic K45. More precisely, we characterize K45(G) as the set of valid formulae of the class of possibilistic Godel Kripke Frames <W,π> where W is a non-empty set of worlds and π: W → [0, 1] is a possibility distribution on W.