# On modal extensions of Product fuzzy logic

@article{Vidal2017OnME, title={On modal extensions of Product fuzzy logic}, author={Amanda Vidal and Francesc Esteva and Llu{\'i}s Godo}, journal={J. Log. Comput.}, year={2017}, volume={27}, pages={299-336} }

The authors wish to thank the anonymous reviewers for their valuable comments and suggestions that have significantly improved the article. They also thank Felix Bou and Tommaso Moraschini for helpful comments on Section 5. The authors acknowledge support of the Spanish projects EdeTRI (TIN2012-39348- C02-01) and 2014 SGR 118. Vidal was supported by a CSIC grant JAE Predoc.

## 38 Citations

### An alternative axiomatization for a fuzzy modal logic of preferences

- Computer Science
- 2018

This paper proposes an alternative axiomatic system with a multi-modal language, where the original modal operators are definable and their semantics are preserved, and for which completeness results are proved.

### Paraconsistent Logic with Multiple Fuzzy Linguistic Truth-values

- Computer Science, PhilosophyICAART
- 2017

The two-valued paraconsistent logic is extended into an one in which a proposition takes a truth-value from a set of multiple fuzzy linguistic terms, and the corresponding inference rule and semantics are proposed.

### On the relationship between fuzzy description logics and many-valued modal logics

- Computer ScienceInt. J. Approx. Reason.
- 2018

### From Fuzzy Sets to Mathematical Fuzzy Logic

- Computer Science
- 2019

In this paper our aim is to provide a short survey of main historical developments of systems of fuzzy logic in narrow sense, today under the umbrella of the discipline called Mathematical Fuzzy…

### On modal expansions of t-norm based logics with rational constants

- Computer Science
- 2015

The main goal of this thesis has been to study modal expansions of the logic of a left-continuous t-norm, defined over the language of MTL expanded with rational truth-constants and the Monteiro-Baaz Delta-operator, and to develop and automated reasoning software tool to solve satisfiability and logical consequence problems for some of the fuzzy logic modal logics considered.

### A Multi-linguistic-Valued Modal Logic

- PhilosophyAustralasian Conference on Artificial Intelligence
- 2016

This paper develops a multi-valued modal logic, in which a logic formula takes a value of truth in linguistic terms and its values are linguistic terms, which can be modelled as fuzzy sets.

### An Approach to Fuzzy Modal Logic of Time Intervals

- Computer ScienceECAI
- 2020

A fuzzy generalization of HS is presented that partially solves problems of expressive power, and it is proved that, as in the crisp case, its satisfiability problem is generally undecidable.

### A modal extension of the solver NiBLos

- Computer Science
- 2016

mNiBLoS (a modal Nice BL-Logics Solver): a modular SMT-based solver complete with respect to a wide family of continuous t-norm based fuzzy modal logics (both with finite and infinite universes), restricting the modal structures to the finite ones.

### MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions

- Computer ScienceInf. Sci.
- 2016

### Some Epistemic Extensions of G\"odel Fuzzy Logic

- Computer Science, Philosophy
- 2016

Some epistemic extensions of G¨odel fuzzy logic whose Kripke-based semantics have fuzzy values for both propositions and accessibility relations such that soundness and completeness hold.

## References

SHOWING 1-10 OF 48 REFERENCES

### On Modal Logics for Qualitative Possibility in a Fuzzy Setting

- Philosophy, Computer ScienceUAI
- 1994

### Metamathematics of Fuzzy Logic

- Philosophy, Computer ScienceTrends in Logic
- 1998

This paper presents a meta-analysis of many-Valued Propositional Logic, focusing on the part of Lukasiewicz's Logic that deals with Complexity, Undecidability and Generalized Quantifiers and Modalities.

### Extending possibilistic logic over Gödel logic

- Computer Science, PhilosophyInt. J. Approx. Reason.
- 2011

### About axiomatic systems of product fuzzy logic

- Computer ScienceSoft Comput.
- 2001

It is proved that there cannot be any axiomatic system of the product fuzzy logic with single non-BL axiom with only one variable.

### Residuated logics based on strict triangular norms with an involutive negation

- ChemistryMath. Log. Q.
- 2006

This work studies several equations which are satisfied by some strict t-norms and their dual t-conorms and adds an involutive negation, which allows it to generate countably many logics based on strict t -norms which are different from the product logic.

### A complete many-valued logic with product-conjunction

- Computer ScienceArch. Math. Log.
- 1996

A simple complete axiomatic system is presented for the many-valued propositional logic based on the conjunction interpreted as product, the coresponding implication (Goguen's implication) and the…

### On Weakly Cancellative Fuzzy Logics

- Computer ScienceJ. Log. Comput.
- 2006

The weak cancellation property is proved to be the difference between cancellation and pseudocomplementation, so it gives a new axiomatization of product logic and ΠMTL.

### A Finite Model Property for Gödel Modal Logics

- PhilosophyWoLLIC
- 2013

A new semantics with the finite model property is provided and used to establish decidability for Godel modal logics based on crisp or fuzzy Kripke frames combined locally with Godel logic. A similar…