Sequent calculus for logic of correlated knowledge

Abstract

Sound and complete sequent calculi for general epistemic logic and logic of correlated knowledge are presented in this paper.

Keywords

• General epistemic logic
• logic of correlated knowledge
• sequent calculus