An Axiomatization of the Finite Fuzzy Modal Logic with Fuzzy Temporal Operations

Abstract

We introduce the family of fuzzy temporal operations. This paper proposes the finite fuzzy modal logic with fuzzy temporal operations. After giving syntax and semantics, we present a formal system in an extended Gentzen style. Then we prove the soundness theorem as well as the completeness theorem.