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

05/13/2021
by   Ricardo Rodriguez, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/19/2023

State-based Modal Logics for Free Choice

We study the mathematical properties of bilateral state-based modal logi...
research
10/11/2011

Bi-modal Gödel logic over [0,1]-valued Kripke frames

We consider the Gödel bi-modal logic determined by fuzzy Kripke models w...
research
04/14/2022

Routley Star in Information-Based Semantics

It is common in various non-classical logics, especially in relevant log...
research
03/01/1997

A Uniform Framework for Concept Definitions in Description Logics

Most modern formalisms used in Databases and Artificial Intelligence for...
research
01/18/2022

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics

In this paper, we study three representations of lattices by means of a ...
research
04/02/2019

On Transitive modal many-valued logics

This paper is focused on the study of modal logics defined from valued K...
research
02/13/2022

A Simplified Variant of Gödel's Ontological Argument

A simplified variant of Gödel's ontological argument is presented. The s...

Please sign up or login with your details

Forgot password? Click here to reset