Logic, Reasoning, and Knowledge
Open access
Peer reviewed
Scollr summary
What this paper is about
This work aims to introduce a possible many-valued extension for multi-modal logic based on the family of finite FLew-algebras, as well as a sound and complete reasoning system for such logic.
Full abstract
Read the full abstract
Background: Multi-modal logic has found many applications in computer science, also providing a framework to model temporal and spatial information. Reasoning in this logic is crucial in many real-world applications from different fields. At the same time, these applications live in scenarios characterized by uncertainty and vagueness in the data. Objectives: We aim to introduce a possible many-valued extension for multi-modal logic based on the family of finite FLew-algebras, as well as a sound and complete reasoning system for such logic. Methods: In order to give a general framework for many-valued temporal and spatial logic, we introduce the notion of a many-valued linear order, allowing for the definition of a many-valued semantics of modal frames. The reasoning system is based on the analytic tableau technique and implemented as part of an open-source framework for representing, reasoning, and learning from structured and unstructured data. Results: The performance of the tableau implementation has been addressed through extensive experiments, changing both the underlying logic and algebra and solving both the satisfiability and validity problem for formulas of different complexity. Conclusions: We provide an open-source framework to work with many-valued temporal and spatial logic and a reasoning tool to check satisfiability and validity of formulas from such logic.
Direct answer
What can I do from this paper page?
Use this page to scan "Reasoning in Many-Valued Multi-Modal Logic: A Uniform and General Approach" quickly: start with the summary and abstract, then check the authors, source, topics, and related papers. From here, open Scollr to follow Logic, Reasoning, and Knowledge research, save the paper, or map adjacent work.
Research areas
Follow related topics
Citation
BibTeX
@article{Bada2026Reasoning,
title = {Reasoning in Many-Valued Multi-Modal Logic: A Uniform and General Approach},
author = {Guillermo Badía and Riccardo Monego and Carles Noguera and Alberto Paparella and Guido Sciavicco and Ionel Eduard Stan},
journal = {Journal of Artificial Intelligence Research},
year = {2026},
doi = {10.1613/jair.1.23339},
url = {https://doi.org/10.1613/jair.1.23339}
}FAQ
Using this paper in a discovery workflow
How do I find related work for this paper?
Use the related papers and topic links on this page as starting points. In Scollr, you can also open the paper and build a literature map around its references, citing papers, and related work.
How can I keep up with new Logic, Reasoning, and Knowledge research papers?
Follow Logic, Reasoning, and Knowledge research in Scollr. New papers from the topic flow into a personalized feed, and you can save useful studies to revisit later.
Can I cite this paper from this page?
This page includes a static BibTeX block for Reasoning in Many-Valued Multi-Modal Logic: A Uniform and General Approach. Always verify the DOI, source, and publication details against the publisher record before submitting a manuscript.
Follow this research in Scollr
Follow the topics and authors behind this paper, save useful studies, and build a literature map when you are ready to go deeper.
Get the app