Back to Search Start Over

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

Authors :
Rodriguez, Ricardo
Tuyt, Olim
Godo, Lluis
Esteva, Francesc
Publication Year :
2021

Abstract

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,\pi> where W is a non-empty set of worlds and \pi: W \to [0, 1] is a possibility distribution on W.<br />Comment: arXiv admin note: text overlap with arXiv:1611.04444

Details

Database :
arXiv
Publication Type :
Report
Accession number :
edsarx.2105.06570
Document Type :
Working Paper