In this article, we study modal extensions of Product fuzzy logic with both algebraic semantics and relational semantics based on Kripke structures with crisp accessibility relations, when the underlying product fuzzy logic is expanded with truth-constants, the Δ operator and with two infinitary inference rules. We provide completeness results for both kinds of semantics. Finally, we also consider a generalization of possibilistic logic evaluated over product algebras. © The Author, 2015. Published by Oxford University Press. All rights reserved.The authors wish to thank the anonymous reviewers for their valuable comments and suggestions that have significantly improved the article. They also thank Félix Bou and Tommaso Moraschini for helpf...
In this paper we present several fuzzy logics trying to capture different notions of necessity (in t...
We propose a new definition of the representation theorem for many-valued logics, with modal operato...
The aim of this paper is to extend probability theory from the classical to the product t-norm fuzzy...
Fuzzy modal logics are a family of logics that are still under research for their under- standing. S...
Propositional Product Logic is known to be standard finite-strong complete but not a strong complete...
According to Zadeh, the term “fuzzy logic” has two different meanings: wide and narrow. In a narrow ...
In this paper we present several fuzzy logics trying to capture different notions of necessity (in t...
This paper is a contribution to the study of two distinct kinds of modal logics for modeling uncerta...
Modal fuzzy logics is a research topic that has attracted increasing attention in the last years. S...
In this paper we provide a simplified, possibilistic semantics for the logics K45(G), i.e. a many-va...
The majority of works on modal fuzzy logics consider Kripkestyle possible worlds semantics as the pr...
The majority of works on modal fuzzy logics consider Kripkestyle possible worlds semantics as the pr...
The majority of works on modal fuzzy logics consider Kripkestyle possible worlds semantics as the pr...
Autoepistemic logic is an important formalism for nonmonotonic reasoning originally intended to mode...
Autoepistemic logic is an important formalism for nonmonotonic reasoning originally intended to mode...
In this paper we present several fuzzy logics trying to capture different notions of necessity (in t...
We propose a new definition of the representation theorem for many-valued logics, with modal operato...
The aim of this paper is to extend probability theory from the classical to the product t-norm fuzzy...
Fuzzy modal logics are a family of logics that are still under research for their under- standing. S...
Propositional Product Logic is known to be standard finite-strong complete but not a strong complete...
According to Zadeh, the term “fuzzy logic” has two different meanings: wide and narrow. In a narrow ...
In this paper we present several fuzzy logics trying to capture different notions of necessity (in t...
This paper is a contribution to the study of two distinct kinds of modal logics for modeling uncerta...
Modal fuzzy logics is a research topic that has attracted increasing attention in the last years. S...
In this paper we provide a simplified, possibilistic semantics for the logics K45(G), i.e. a many-va...
The majority of works on modal fuzzy logics consider Kripkestyle possible worlds semantics as the pr...
The majority of works on modal fuzzy logics consider Kripkestyle possible worlds semantics as the pr...
The majority of works on modal fuzzy logics consider Kripkestyle possible worlds semantics as the pr...
Autoepistemic logic is an important formalism for nonmonotonic reasoning originally intended to mode...
Autoepistemic logic is an important formalism for nonmonotonic reasoning originally intended to mode...
In this paper we present several fuzzy logics trying to capture different notions of necessity (in t...
We propose a new definition of the representation theorem for many-valued logics, with modal operato...
The aim of this paper is to extend probability theory from the classical to the product t-norm fuzzy...