Provability Logics Relative to a fixed Extension of Peano Arithmetic.

Taishi Kurahashi

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

Keyphrases

expressive power
modal logic
data mining
data structure
inference rules
real time
data sets
search engine
clustering algorithm
fixed size