A modal separation logic for resource dynamics.
Jean-René CourtaultDidier GalmichePublished in: J. Log. Comput. (2018)
Keyphrases
- modal logic
- nonmonotonic logics
- classical logic
- modal operators
- dynamical systems
- logic programming
- inference rules
- dynamic logic
- resource allocation
- neural network
- temporal logic
- epistemic logic
- multi valued
- transition systems
- resource management
- defeasible logic
- probabilistic logic
- resource selection
- highly nonlinear
- dynamic model
- logic programs
- asynchronous circuits
- recurrent networks
- databases
- real time