Semantics for "Enough-Certainty" and Fitting's Embedding of Classical Logic in S4.
Gergei BanaMitsuhiro OkadaPublished in: CSL (2016)
Keyphrases
- classical logic
- logic programming
- valued logic
- autoepistemic logic
- intuitionistic logic
- possibilistic logic
- possibility theory
- modal logic
- logic programs
- default theories
- default logic
- nonmonotonic reasoning
- commonsense reasoning
- answer set programming
- default reasoning
- strong equivalence
- computer science and artificial intelligence
- propositional logic
- deductive databases
- knowledge representation
- probabilistic model
- nonmonotonic logics
- first order logic
- stable models
- answer sets
- linear logic
- fuzzy logic