Login / Signup
Strong downward Löwenheim-Skolem theorems for stationary logics, II: reflection down to the continuum.
Sakaé Fuchino
André Ottenbreit Maschio Rodrigues
Hiroshi Sakai
Published in:
Arch. Math. Log. (2021)
Keyphrases
</>
expressive power
first order logic
non stationary
data sets
modal logic
information retrieval
inference rules
machine learning
learning algorithm
database systems
reinforcement learning
multi agent systems
theorem prover
classical logic
conditional logic