On Kripke completeness of modal predicate logics around quantified K5.
Valentin B. ShehtmanPublished in: Ann. Pure Appl. Log. (2023)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- kripke models
- nonmonotonic logics
- epistemic logic
- situation calculus
- classical logic
- conditional logic
- first order logic
- default logic
- universally quantified
- model checking
- database
- data quality
- dynamic logic
- fuzzy logic
- case study
- data mining
- modal operators
- data sets