A Course on Bimodal Provability Logic.

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

Keyphrases

logic programming
classical logic
multi valued
databases
automated reasoning
logical framework
formal language
predicate logic
dynamic logic
real time
artificial intelligence
expert systems
modal logic
computational properties
digital circuits