A General Framework for Modal Deduction.

Alan M. Frisch Richard B. Scherl

Published in: KR (1991)

Keyphrases

modal logic
inference rules
theorem proving
theorem prover
pattern recognition
metadata
high level
multi agent
control system
first order logic
computer algebra