On the Logic of Belief and Propositional Quantification.
Yifeng DingPublished in: J. Philos. Log. (2021)
Keyphrases
- sound and complete axiomatization
- truth maintenance systems
- belief revision
- multi valued
- probabilistic logic
- probability theory
- modal operators
- propositional logic
- truth values
- proof procedure
- predicate calculus
- horn clauses
- first order logic
- deductive reasoning
- logic programming
- autoepistemic logic
- default reasoning
- belief functions
- conditional logic
- inference mechanism
- general logic programs
- propositional theories
- modal logic
- theorem proving
- epistemic states
- asynchronous circuits
- knowledge base
- logical theories
- default logic
- formal theory
- classical logic
- possibilistic logic
- deontic logic
- nonmonotonic reasoning
- classical first order logic
- defeasible logic