Ordinal Completeness of Bimodal Provability Logic GLB.

Lev D. Beklemishev

Published in: TbiLLC (2009)

Keyphrases

expressive power
computational properties
lower bound
gaussian mixture
real time
modal logic
classical logic
proof theory
sound and complete axiomatization
database
artificial intelligence
predicate logic
truth values