A Real-Valued Modal Logic.
Denisa DiaconescuGeorge MetcalfeLaura SchnürigerPublished in: Log. Methods Comput. Sci. (2018)
Keyphrases
- real valued
- modal logic
- inference rules
- temporal logic
- complex valued
- classical logic
- epistemic logic
- nonmonotonic logics
- integer valued
- default logic
- multiple instance
- conditional logic
- situation calculus
- continuous functions
- dynamic logic
- prime implicates
- autoepistemic logic
- explanation based generalization
- neural network
- kripke models
- modal operators
- web search engines
- probability distribution
- search engine