Coalgebraic Modal Logic for Dynamic Systems with Uncertainty.
Andrés GallardoIgnacio D. ViglizzoPublished in: CoRR (2024)
Keyphrases
- dynamic systems
- modal logic
- temporal logic
- complex systems
- inference rules
- qualitative reasoning
- state variables
- consistency based diagnosis
- epistemic logic
- discrete event
- dynamical systems
- classical logic
- nonmonotonic logics
- situation calculus
- default logic
- linear time invariant
- dynamic logic
- continuous variables
- explanation based generalization
- conditional logic
- ordinary differential equations
- modal operators
- model checking
- kripke models
- bayesian networks
- autoepistemic logic
- frequency domain