Translating Higher-Order Modal Logic from RuleML to TPTP.
Harold BoleyChristoph BenzmüllerMeng LuanZhendong ShaPublished in: RuleML (Supplement) (2016)
Keyphrases
- modal logic
- higher order
- temporal logic
- decision procedures
- inference rules
- epistemic logic
- high order
- classical logic
- pairwise
- nonmonotonic logics
- automated theorem proving
- explanation based generalization
- default logic
- markov random field
- dynamic logic
- situation calculus
- prime implicates
- description logic alc
- data model
- artificial intelligence
- rule language
- conditional logic
- modal operators
- interchange format