Decidability of Modular Logics for Concurrency.
Radu MardarePublished in: Ershov Memorial Conference (2011)
Keyphrases
- decision procedures
- modal logic
- expressive power
- description logics
- computational properties
- concurrency control
- database systems
- query answering
- inference rules
- modular neural networks
- nonmonotonic logics
- classical logic
- data flow
- highly flexible
- modular structure
- theorem proving
- artificial intelligence
- first order logic
- database management systems
- data sources
- propositional dynamic logic