A modal theorem-preserving translation of a class of three-valued logics of incomplete information
From MaRDI portal
Publication:4583322
DOI10.1080/11663081.2013.863491zbMATH Open1398.03107OpenAlexW2082710444MaRDI QIDQ4583322FDOQ4583322
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
Recommendations
Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)
Cites Work
- Triangular norms
- The logic of paradox
- Title not available (Why is that?)
- Equilibrium logic
- Fuzzy logic and approximate reasoning
- Metamathematics of fuzzy logic
- On Łukasiewicz's four-valued modal logic
- Possibility theory, probability theory and multiple-valued logics: a clarification
- Propositional calculus for contradictory deductive systems
- A treatise on many-valued logics
- Title not available (Why is that?)
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- Constructible falsity
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- Title not available (Why is that?)
- Some theorems about the sentential calculi of Lewis and Heyting
- Knowledge-driven versus data-driven logics
- Natural 3-valued logics—characterization and proof theory
- An introduction to bipolar representations of information and preference
- A kripke-kleene semantics for logic programs*
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On Ignorance and Contradiction Considered as Truth-Values
- Three-valued logics in modal logic
- Title not available (Why is that?)
- A Simple Modal Logic for Reasoning about Revealed Beliefs
- Title not available (Why is that?)
- Possibilistic logic: a retrospective and prospective view
- Conditional objects as nonmonotonic consequence relationships
- Treating incomplete knowledge in formal concept analysis
- Title not available (Why is that?)
- A new four-valued approach to modal logic
- A simple logic for reasoning about incomplete knowledge
- Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic
- A map of dependencies among three-valued logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Three-valued logics for incomplete information and epistemic logic
- Motivation and demotivation of a four-valued logic
- An extension of levinson's theorem to asymptotically jordan difference equations
- Foundations of fuzzy reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modal interpretations of three-valued logic. II
- Contingency-based equilibrium logic
- Title not available (Why is that?)
Cited In (12)
- Three-valued logics for incomplete information and epistemic logic
- A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information
- From Possibility Theory to Paraconsistency
- Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)
- A quantitative approach to reasoning about incomplete knowledge
- Borderline vs. unknown: comparing three-valued representations of imperfect information
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion
- Title not available (Why is that?)
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
- Three-valued logics in modal logic
- Three-Valued Paraconsistent Propositional Logics
- 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)
