On propositional quantifiers in provability logic.
Sergei N. ArtëmovLev D. BeklemishevPublished in: Notre Dame J. Formal Log. (1993)
Keyphrases
- sound and complete axiomatization
- first order logic
- multi valued
- probabilistic logic
- horn clauses
- proof procedure
- classical first order logic
- deductive reasoning
- general logic programs
- propositional logic
- predicate calculus
- logic programming
- modal logic
- propositional variables
- set theory
- autoepistemic logic
- logical framework
- computational properties
- asynchronous circuits
- expressive power
- truth maintenance systems
- classical logic
- coalition logic
- natural language
- automated reasoning
- default logic
- inductive logic programming
- knowledge representation