Pointwise Intersection in Neighbourhood Modal Logic.
Frederik Van De PutteDominik KleinPublished in: Advances in Modal Logic (2018)
Keyphrases
- modal logic
- pointwise
- temporal logic
- inference rules
- weighted sum
- classical logic
- epistemic logic
- polynomial approximation
- situation calculus
- default logic
- confidence intervals
- nonmonotonic logics
- nonparametric regression
- conditional logic
- description logic alc
- prime implicates
- modal operators
- model checking
- model selection