3 problems

The full modal logic $\mathsf{G}^{2\pm}_{\blacksquare,\blacklozenge}$ is obtained by allowing the non-normal modalities $\blacksquare$ and $\blacklozenge$ without restricting to fi…

Let $T$ be a theory in additive Gödel logic. A theory is finitely satisfiable if every finite subset of $T$ has a standard model, where a standard model is a model whose truth valu…

Gödel S5 possibility axiomatization conjecture. The logic