Semantical Correspondence Properties of Some Modal Systems of Logic.
Rolf NossumDov M. GabbayPublished in: SCAI (1993)
Keyphrases
- expert systems
- modal logic
- complex systems
- real time
- classical logic
- distributed systems
- nonmonotonic logics
- management system
- computer systems
- knowledge based systems
- learning systems
- desirable properties
- digital circuits
- automated reasoning
- finite state machines
- inference rules
- rough sets
- pairwise
- image sequences
- information systems