Model Theoretic stability and Definability of Types, after a. Grothendieck.

Itaï Ben Yaacov

Published in: Bull. Symb. Log. (2014)

Keyphrases

model theoretic
deductive databases
description logics
proof theoretic
logic programs
operational semantics
fixpoint
decision procedures
special case
propositional logic
probabilistic reasoning
default reasoning
databases
data model
fixed point