B: A first-order, non-paradoxical, algebraic logic of belief.
Haythem O. IsmailPublished in: Log. J. IGPL (2012)
Keyphrases
- general logic programs
- linear temporal logic
- probability theory
- higher order
- modal operators
- probabilistic logic
- truth values
- algebraic structure
- first order logic
- modal logic
- finite model theory
- predicate calculus
- horn clauses
- conditional logic
- classical first order logic
- belief functions
- quantifier free
- predicate logic
- sound and complete with respect
- logical theories
- classical logic
- belief revision
- automated reasoning
- logical formulas
- subjective logic
- proof theory
- truth maintenance systems
- action theories
- asynchronous circuits
- epistemic logic
- formal theory
- model theoretic
- quantifier elimination
- mathematical theory
- defeasible logic
- multi valued
- belief change
- temporal logic
- model checking
- logic programming
- logic programs