On Kripke Completeness of Some Modal Predicate Logics with the Density Axiom.
Valentin B. ShehtmanPublished in: Advances in Modal Logic (2018)
Keyphrases
- modal logic
- inference rules
- temporal logic
- decision procedures
- nonmonotonic logics
- conditional logic
- kripke models
- epistemic logic
- classical logic
- default logic
- low density
- first order logic
- data quality
- situation calculus
- horn clauses
- density function
- databases
- desirable properties
- model checking
- search engine
- modal operators
- artificial intelligence
- density distribution
- information retrieval