Strong downward Löwenheim-Skolem theorems for stationary logics, I.

Sakaé Fuchino André Ottenbreit Maschio Rodrigues Hiroshi Sakai

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

Keyphrases

inference rules
first order logic
expressive power
modal logic
non stationary
data mining
database
real world
machine learning
artificial intelligence
computer vision
computational properties