Complete proof systems for weighted modal logic

Computer Science

• Proof System 100%
• Transition System 66%
• Process Algebra 33%
• Markov Process 33%
• Theorem Proving 33%
• Real Number 33%
• Canonical Model 33%
• Application Domain 33%
• Axiomatization 33%
• Finite Model Property 33%
• Model Checking Problem 33%

INIS

• resources 100%
• applications 50%
• probabilistic estimation 50%
• markov process 50%
• cost 50%
• space 50%
• stochastic processes 50%
• algebra 50%