On the topological dynamics of automorphism groups: a model-theoretic perspective.

Krzysztof Krupinski Anand Pillay

Published in: Arch. Math. Log. (2023)

Keyphrases

model theoretic
deductive databases
description logics
operational semantics
decision procedures
proof theoretic
logic programs
fixpoint
default reasoning
dynamical systems
probabilistic reasoning
presburger arithmetic
dynamic environments
logic programming
general purpose
special case
query processing