Back to Search
Start Over
Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions
- 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
- Subjects :
- Mathematics - Logic
Computer Science - Artificial Intelligence
Subjects
Details
- Database :
- arXiv
- Publication Type :
- Report
- Accession number :
- edsarx.2105.06570
- Document Type :
- Working Paper