A modal theorem-preserving translation of a class of three-valued logics of incomplete information

DOI10.1080/11663081.2013.863491MaRDI QIDQ4583322zbMATH OpenOpenAlexFDO

Authors Davide Ciucci, Didier Dubois

Publication date 28 August 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2013.863491

zbMATH Keywords

uncertaintyincomplete informationmodal logicthree-valued logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• Three-valued logics for incomplete information and epistemic logic
• From possibility theory to paraconsistency
• Three-valued logics in modal logic
• Translation from three-valued quantum logic to modal logic
• Some modal logics based on a three-valued logic

Cites work

• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3718572 (Why is no real title available?)
• scientific article; zbMATH DE number 3777462 (Why is no real title available?)
• scientific article; zbMATH DE number 1028817 (Why is no real title available?)
• scientific article; zbMATH DE number 1775492 (Why is no real title available?)
• scientific article; zbMATH DE number 3009953 (Why is no real title available?)
• scientific article; zbMATH DE number 3453564 (Why is no real title available?)
• scientific article; zbMATH DE number 3250542 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 3077773 (Why is no real title available?)
• A Simple Modal Logic for Reasoning about Revealed Beliefs
• A kripke-kleene semantics for logic programs*
• A map of dependencies among three-valued logics
• A new four-valued approach to modal logic
• A simple logic for reasoning about incomplete knowledge
• A treatise on many-valued logics
• An extension of levinson's theorem to asymptotically jordan difference equations
• An introduction to bipolar representations of information and preference
• Conditional objects as nonmonotonic consequence relationships
• Constructible falsity
• Contingency-based equilibrium logic
• Equilibrium logic
• Foundations of fuzzy reasoning
• Fuzzy logic and approximate reasoning
• Knowledge-driven versus data-driven logics
• Metamathematics of fuzzy logic
• Modal interpretations of three-valued logic. II
• Motivation and demotivation of a four-valued logic
• Natural 3-valued logics—characterization and proof theory
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• On Ignorance and Contradiction Considered as Truth-Values
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• On Łukasiewicz's four-valued modal logic
• Possibilistic logic: a retrospective and prospective view
• Possibility theory, probability theory and multiple-valued logics: a clarification
• Propositional calculus for contradictory deductive systems
• Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic
• Some theorems about the sentential calculi of Lewis and Heyting
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• The logic of paradox
• Three-valued logics for incomplete information and epistemic logic
• Three-valued logics in modal logic
• Treating incomplete knowledge in formal concept analysis
• Triangular norms

Cited in

(14)

• Three-valued logics for incomplete information and epistemic logic
• A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information
• Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)
• Translation from three-valued quantum logic to modal logic
• A quantitative approach to reasoning about incomplete knowledge
• Three-valued paraconsistent propositional logics
• Rough sets, modal logic and approximate reasoning
• From possibility theory to paraconsistency
• Borderline vs. unknown: comparing three-valued representations of imperfect information
• Editorial: Weighted logics for artificial intelligence -- an introductory discussion
• scientific article; zbMATH DE number 1775485 (Why is no real title available?)
• Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
• Three-valued logics in modal logic
• Representations of uncertainty in artificial intelligence: probability and possibility

This page was built for publication: A modal theorem-preserving translation of a class of three-valued logics of incomplete information

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583322)