HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes).
Hannes LeitgebPublished in: J. Philos. Log. (2019)
Keyphrases
- deontic logic
- natural language
- logic programming
- semantic web
- high level
- semantic level
- semantically meaningful
- semantic knowledge
- semantic analysis
- semantic network
- inference rules
- automated reasoning
- semantic representation
- logical framework
- defeasible logic
- predicate logic
- semantic web technologies
- probability theory
- semantic search
- formal semantics
- multi valued
- modal logic
- description logics
- semantic description
- knowledge base