On Blass Translation for Leśniewski's Propositional Ontology and Modal Logics.
Takao InouéPublished in: Stud Logica (2022)
Keyphrases
- modal logic
- default logic
- autoepistemic logic
- temporal logic
- decision procedures
- nonmonotonic logics
- inference rules
- domain knowledge
- propositional logic
- semantic web
- epistemic logic
- nonmonotonic reasoning
- domain ontology
- knowledge base
- default reasoning
- domain specific
- default theories
- machine translation
- knowledge representation
- classical logic
- situation calculus
- model checking
- first order logic
- conditional logic
- dynamic logic
- query language
- horn clauses
- cross language information retrieval
- query evaluation
- data management