An Order-Sorted Quantified Modal Logic for Meta-ontology.
Ken KaneiwaRiichiro MizoguchiPublished in: TABLEAUX (2005)
Keyphrases
- modal logic
- temporal logic
- order sorted
- predicate logic
- inference rules
- knowledge representation
- domain knowledge
- semantic web
- classical logic
- situation calculus
- domain specific
- knowledge base
- epistemic logic
- domain ontology
- semantic network
- conditional logic
- dynamic logic
- prime implicates
- default logic
- nonmonotonic logics
- autoepistemic logic
- universally quantified
- knowledge sources