Tableaux for finite-valued logics with arbitrary distribution modalities
This paper studies the combination of many-valued logic, with finitely many truth values, and modal logic. Such a combination was explored already by various authors in several papers, as summarized in the introduction of this article. The essence is to define properly, also with respect to foreseeable applications, the interplay of the many truth values, provided by the many-valued logic, with the Kripke semantics of possible worlds that comes with modal logic. A main novelty of the approach presented here is to allow so-called distribution modalities. In essence, previous many-valued modal logics allow only two modalities, \(\square\) and \(\diamond \), where the truth value of \(\square X\) \((\diamond X,\) respectively) in world \(\Gamma\) is the infimum (supremum, respectively) of the set of truth values of \(X\) in all worlds reachable from \(\Gamma\). The present approach allows many modalities, a modality for every function from sets of truth values to truth values: e.g., the truth value of \(\mu X\) in world \(\Gamma\) is the image of the function \(\mu\) applied to the set of truth values of \(X\) in all worlds reachable from \(\Gamma\). Building on previous work by Reiner Hähnle on signed tableaux for many-valued logic and previous work by Melvin Fitting on prefixed tableaux for modal logic (see the references in the paper), the authors define a tableaux-based calculus for many-valued modal logic, and prove its soundness and completeness with respect to the semantics of distribution modalities. Examples motivated by database applications conclude the paper. Being a conference paper, the article is somewhat technical, and not self-contained (e.g., proofs are not included and the example on Belnap logic has been summarized). It will be useful to other researchers working on similar problems, but readers who are not already close to the topic should read first introductory material on multi-valued logics, modal logics, and tableaux calculi for such logics. The list of references at the end of the paper appears sufficient for this purpose. For the entire collection see [Zbl 0888.00018].
- Commodious axiomatization of quantifiers in multiple-valued logic
- Prefixed tableaus for three-valued modal propositional logics
- Tableaux for intuitionistic logics
- Many-valued hybrid logic
- Systematization of finite many-valued logics through the method of tableaux
- scientific article; zbMATH DE number 63610 (Why is no real title available?)
- Many-valued hybrid logic
- Tabular Logics with no Finite Bases for Inference Rules
- scientific article; zbMATH DE number 3997757 (Why is no real title available?)
- Tableau Systems for Logics of Subinterval Structures over Dense Orderings
- Many-valued modal logic
This page was built for publication: Tableaux for finite-valued logics with arbitrary distribution modalities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3838811)
