Around provability logic.

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

Keyphrases

logic programming
multi valued
asynchronous circuits
computer vision
classical logic
sound and complete axiomatization
epistemic logic
predicate logic
computational properties
dynamic logic
deontic logic
abductive reasoning
formal language
databases
hidden markov models
expert systems
genetic algorithm