Infinitary S5-epistemic logic

Keyphrases

• Epistemic Logic 100%
• Cardinality 50%
• Infinitary Logic 50%
• Completeness Theorem 50%
• Strong Completeness 50%
• Axiomatic System 50%
• Expressive Power 50%

Mathematics

• Epistemic Logic 100%
• Expressive Power 50%
• Cardinality 50%