Logic of knowledge with infinitely many agents

Abstract

Cut-free sequent calculus for logic of knowledge with infinitely many agents, based on multimodul S5n.

Keywords

• modal logic
• logic of knowledge
• sequent calculus