The Logic of Arithmetical Hierarchy.

Giorgie Dzhaparidze

Published in: Ann. Pure Appl. Log. (1994)

Keyphrases

classical logic
logic programming
hierarchical structure
knowledge representation
multi valued
sound and complete axiomatization
multi agent
modal logic
automated reasoning
logical framework
computational properties
defeasible logic
truth values
formal theory
class hierarchy
proof theory