Categories for dynamic epistemic logic

Keyphrases

• Algebraic Form 16%
• Categorical Semantics 33%
• Category of Relations 16%
• Dynamic Epistemic Logic 100%
• Families of Objects 16%
• First Review 16%
• First-order Dynamics 16%
• First-order Logic 16%
• Homomorphism 16%
• Kripke Frame 16%
• Modal Dynamics 16%
• Modal Logic 16%
• Object Relationship 16%
• Single Object 16%
• Single Structure 16%
• Structural Relationship 16%

Mathematics

• Adjoints 16%
• Epistemic Logic 100%
• Homomorphism 16%
• Theoretic Term 16%