Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle.
Dmitrij P. SkvortsovPublished in: Stud Logica (2012)
Keyphrases
- modal logic
- inference rules
- first order logic
- temporal logic
- desirable properties
- expressive power
- real time
- real world
- data sets
- decision procedures
- expert systems
- application domains
- probability distribution
- default logic
- complex domains
- continuous domains
- nonmonotonic logics
- truth values
- epistemic logic
- monotonicity constraints