Intuitionistic common knowledge or belief
From MaRDI portal
Publication:334160
DOI10.1016/j.jal.2016.04.004zbMath1436.03111OpenAlexW2344410380MaRDI QIDQ334160
Publication date: 31 October 2016
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2016.04.004
Logics of knowledge and belief (including belief change) (03B42) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Hennessy-Milner properties via topological compactness, A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic, The Proof Theory of Common Knowledge
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Intuitionistic epistemic logic, Kripke models and Fitch's paradox
- Syntactic cut-elimination for a fragment of the modal mu-calculus
- On intuitionistic modal epistemic logic
- On some intuitionistic modal logics
- About cut elimination for logics of common knowledge
- Cut-free common knowledge
- Deduction chains for common knowledge
- An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory
- Common Knowledge Logic in a Higher Order Proof Assistant