Two Natural Deduction Systems for Hybrid Logic: A Comparison.

Torben Braüner

Published in: J. Log. Lang. Inf. (2004)

Keyphrases

natural deduction
complex systems
general purpose
intuitionistic logic
linear time temporal logic
expert systems
knowledge representation
computer systems
retrieval systems
inference rules
asynchronous circuits
cut elimination