The logical strength of Büchi's decidability theorem.

Leszek Aleksander Kolodziejczyk Henryk Michalewski Pierre Pradic Michal Skrzypczak

Published in: CoRR (2016)

Keyphrases

description logics
von neumann
logical operations
logical rules
website
case study
special case