Frege systems for extensible modal logics.

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

Keyphrases

modal logic
temporal logic
decision procedures
data model
distributed systems
inference rules
automated reasoning
artificial intelligence