Search Results for author:
Found 2 papers, 0 papers with code
An elementary belief function logic
Besides, the case of belief functions has been studied independently, and a belief function logic has been obtained by extending the modal logic S5 to graded modalities using {\L}ukasiewicz logic, albeit using relational semantics.
Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions
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.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
