The Hart-Shelah example, in stronger logics.
Saharon ShelahAndrés VillavecesPublished in: Ann. Pure Appl. Log. (2021)
Keyphrases
- expressive power
- modal logic
- nonmonotonic logics
- propositional dynamic logic
- inference rules
- real world
- classical logic
- propositional calculus
- coalition logic
- information systems
- case study
- computational properties
- proof theoretic
- inheritance reasoning
- database
- decision procedures
- fuzzy sets
- machine learning
- neural network