A sound and complete proof theory for the generalized logic of only knowing

DOI10.1080/095281398146680MaRDI QIDQ4421274zbMATH OpenOpenAlexFDO

Authors Jianhua Chen

Publication date 1998

Published in Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

epistemic specification

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• On the decidability and complexity of reasoning about only knowing
• scientific article; zbMATH DE number 695095
• Formalized soundness and completeness of epistemic logic
• The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications
• Logics for knowability
• Logical Omniscience Via Proof Complexity
• The modal logic of pure provability
• A sound and complete proof theory for propositional logical contingencies
• Provability logic and the completeness principle
• A simple logic for reasoning about incomplete knowledge

Cites work

• A logic for default reasoning
• All I know: A study in autoepistemic logic
• Autoepistemic logic
• Circumscription - a form of non-monotonic reasoning
• Minimal belief and negation as failure
• On the relation between default and autoepistemic logic
• Relating only knowing to minimal belief and negation as failure
• Semantical considerations on nonmonotonic logic
• The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications

Cited in

(5)

• scientific article; zbMATH DE number 695095 (Why is no real title available?)
• Relating only knowing to minimal belief and negation as failure
• The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications
• scientific article; zbMATH DE number 6606375 (Why is no real title available?)
• A sound and complete tableau calculus for reasoning about only knowing and knowing at most

This page was built for publication: A sound and complete proof theory for the generalized logic of only knowing

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