Logics for First-Order Team Properties.

Juha Kontinen Fan Yang

Published in: WoLLIC (2019)

Keyphrases

first order logic
higher order
expressive power
data sets
structural properties
inference rules
databases
modal logic
topological properties