A Godel Modal Logic

Details A Godel Modal Logic A Godel Modal Logic

2009-03-16

arxiv.org/abs/0903.2767v1

Mathematics

Logic

Scientific paper

In this paper we consider an approach where both propositions and the accessibility relation are infinitely many-valued over G\"{o}del algebras. In particular, we consider separately the $\Box $-fragment and the $\Diamond $-fragment of our G\"{o}del modal logic and prove that both logics are complete with respect to the class of models with values in the linear Hetying algebra [0,1]. In addition, we show that the first fragment is uniquely determined by the class of models having crisp accessibility relation but it has not the finite model property. On the contrary, the second fragment is not characterized by crisp accessibility models alone but it has the finite model property. Finally, we show that the approach can be extended to include finitely many rational truth-values \`{a} la Pavelka.

Affiliated with

Also associated with

No associations

Rating

A Godel Modal Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Godel Modal Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Godel Modal Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-224021