A sound and complete proof theory for the generalized logic of only knowing
From MaRDI portal
Publication:4421274
DOI10.1080/095281398146680zbMath1049.03502MaRDI QIDQ4421274
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
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
Cites Work
- Semantical considerations on nonmonotonic logic
- On the relation between default and autoepistemic logic
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Minimal belief and negation as failure
- All I know: A study in autoepistemic logic
- Autoepistemic logic
- Relating only knowing to minimal belief and negation as failure
- The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications