Propositional inquisitive logic: a survey.
Ivano CiardelliPublished in: Comput. Sci. J. Moldova (2016)
Keyphrases
- knowledge base
- deductive reasoning
- logic programming
- sound and complete axiomatization
- multi valued
- truth maintenance systems
- classical first order logic
- knowledge representation
- probabilistic logic
- default logic
- first order logic
- propositional variables
- modal logic
- classical logic
- general logic programs
- autoepistemic logic
- predicate calculus
- propositional logic
- horn clauses
- automated reasoning
- proof procedure
- propositional theories
- possibilistic logic
- predicate logic
- nonmonotonic logics
- digital circuits
- statistical relational learning
- proof theory
- expressive power
- logical theories
- programming language