A Modal Logic of Knowledge, Belief, and Estimation
From MaRDI portal
Publication:2938532
DOI10.1007/978-3-319-11558-0_47zbMath1434.03064OpenAlexW783487439MaRDI QIDQ2938532
Costas D. Koutras, Yorgos Zikos, Christos Moyzes
Publication date: 14 January 2015
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-11558-0_47
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Proof methods for modal and intuitionistic logics
- The relationship between knowledge, belief, and certainty
- Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC '97. Vienna, Austria. August 25--29, 1997. Proceedings
- First-order modal logic
- The modal logic of cluster-decomposable Kripke interpretations
- Logic and the modalities in the twentieth century
- Knowledge Means ‘All’, Belief Means ‘Most’
- A Modal Logic of Knowledge, Belief, and Estimation
- DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
- Defaults as Generalized Quantifiers
- Probability logic
This page was built for publication: A Modal Logic of Knowledge, Belief, and Estimation