On Bimodal Logics of Provability.

Lev D. Beklemishev

Published in: Ann. Pure Appl. Log. (1994)

Keyphrases

expressive power
modal logic
nonmonotonic logics
propositional calculus
evolutionary algorithm
inference rules
classical logic
computer vision
machine learning
information retrieval
situation calculus
gaussian mixture