Epsilon theorems in Intermediate Logics.

Matthias Baaz Richard Zach

Published in: J. Symb. Log. (2022)

Keyphrases

expressive power
inference rules
modal logic
data mining
classical logic
epistemic logic
digital topology
search algorithm
data model
logic programming
website
learning algorithm
databases
sample complexity
nonmonotonic logics
sequent calculus
coalition logic