The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable.
Dmitrij P. SkvortsovPublished in: J. Symb. Log. (2005)
Keyphrases
- predicate logic
- temporal logic
- knowledge representation and reasoning
- modal logic
- formal logic
- model checking
- semantic net
- predicate calculus
- semantic network
- desirable properties
- video frames
- computational linguistics
- logical formulas
- moving objects
- artificial intelligence
- data analysis
- coarse to fine
- order sorted
- reasoning systems
- lower level
- belief revision
- knowledge acquisition
- domain knowledge
- association rules
- video sequences