The modal logic of continuous functions on the rational numbers.
Philip KremerPublished in: Arch. Math. Log. (2010)
Keyphrases
- modal logic
- continuous functions
- temporal logic
- differential equations
- real valued
- endpoints
- nonmonotonic logics
- activation function
- classical logic
- default logic
- epistemic logic
- conditional logic
- situation calculus
- decision making
- explanation based generalization
- model checking
- dynamic logic
- dynamical systems
- higher order
- fuzzy logic
- machine learning
- kripke models