Three-Valued Logics for Incomplete Information and Epistemic Logic

DOI10.1007/978-3-642-33353-8_12zbMath1362.03021OpenAlexW39695227MaRDI QIDQ2915066

Davide Ciucci, Dubois, Didier

Publication date: 21 September 2012

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10281/37489

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50)

Related Items

A modal theorem-preserving translation of a class of three-valued logics of incomplete information ⋮ Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty ⋮ A map of dependencies among three-valued logics ⋮ A simple logic for reasoning about incomplete knowledge

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equilibrium logic
• Motivation and demotivation of a four-valued logic
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Metamathematics of fuzzy logic
• Possibility theory, probability theory and multiple-valued logics: a clarification
• Propositional calculus for contradictory deductive systems
• Relationships between Connectives in Three-Valued Logics
• A Simple Modal Logic for Reasoning about Revealed Beliefs
• Foundations of fuzzy reasoning
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• On Ignorance and Contradiction Considered as Truth-Values
• Constructible falsity