Axiomatizing a Real-Valued Modal Logic.
Denisa DiaconescuGeorge MetcalfeLaura SchnürigerPublished in: Advances in Modal Logic (2016)
Keyphrases
- modal logic
- real valued
- temporal logic
- inference rules
- complex valued
- epistemic logic
- default logic
- real valued data
- integer valued
- classical logic
- nonmonotonic logics
- situation calculus
- multiple instance
- distributed representations
- latent variables
- model checking
- conditional logic
- autoepistemic logic
- modal operators
- feature space
- explanation based generalization