Addendum to "A definable nonstandard enlargement".

Frederik Herzberg

Published in: Math. Log. Q. (2008)

Keyphrases

transitive closure
first order logic
answer sets
database
situation calculus
approximation spaces
artificial intelligence
logic programs
action theories