Model-Theoretic Properties Characterizing Peano Arithmetic.

Published in: J. Symb. Log. (1991)

Keyphrases

model theoretic
description logics
deductive databases
operational semantics
database
data management
np complete
desirable properties
default reasoning
fixpoint
decision procedures
proof theoretic