Semantics Matters: A New Light on Ontological Commitments of Logics.
Fumiaki ToyoshimaSatoru NikiPublished in: JOWO (2021)
Keyphrases
- propositional dynamic logic
- ontological framework
- proof theory
- nonmonotonic logics
- epistemic logic
- conditional logic
- proof theoretic
- logic programming
- valued semantics
- computational properties
- higher order logic
- expressive power
- knowledge representation
- formal semantics
- valued logic
- inference rules
- default logic
- proof procedures
- owl ontologies
- ontological reasoning
- modal logic
- semantic information
- dynamic logic
- nonmonotonic reasoning
- domain ontology
- domain specific
- classical logic
- ontological concepts
- autoepistemic logic
- database
- default reasoning
- deductive databases
- belief revision
- neural network