Interactive Theorem Proving for Logic and Information

Keyphrases

• Epistemic Logic 100%
• Interactive Theorem Proving 100%
• Interactive Theorem Prover 66%
• Automated Reasoning 66%
• Public Announcement Logic 66%
• Axiomatic System 66%
• Computer Program 33%
• Complete System 33%
• Intelligent Systems 33%
• Modal Logic 33%
• Proof Assistants 33%
• Inference Rules 33%
• Logical Systems 33%
• Public Announcements 33%
• Logic Model 33%
• Sound System 33%
• Pen-and-paper 33%
• Isabelle Proof Assistant 33%
• Classical Propositional Logic 33%

Computer Science

• Theorem Prover 100%
• Automated Reasoning 100%
• Theorem Proving 100%
• Formalization 50%
• Computer Software 50%