Logics with the universal modality and admissible consecutions.
Vladimir V. RybakovPublished in: J. Appl. Non Class. Logics (2007)
Keyphrases
- multi modal
- expressive power
- medical images
- modal logic
- inference rules
- real time
- classical logic
- state space
- data sets
- nonmonotonic logics
- information retrieval
- higher order
- expert systems
- case study
- information systems
- computational properties
- decision procedures
- neural network
- conditional logic
- kolmogorov complexity