On löWenheim-Skolem-Tarski numbers for Extensions of First order Logic.

Menachem Magidor Jouko Väänänen

Published in: J. Math. Log. (2011)

Keyphrases

first order logic
expressive power
inference rules
propositional logic
probabilistic reasoning
theorem prover
theorem proving

representation language
inductive logic programming
knowledge representation
probabilistic graphical models
horn clauses
relational algebra
markov networks

transitive closure
guarded fragment
markov logic networks
search algorithm
artificial intelligence
real numbers

predicate calculus
markov logic
database
dl lite
quantifier elimination
quantifier free