Signed Formulas and Annotated Logics.

James J. Lu Neil V. Murray Erik Rosenthal

Published in: ISMVL (1993)

Keyphrases

modal logic
expressive power
modal operators
manually annotated
inference rules
computational properties
annotated corpus
mathematical formulas
real time
information systems
ground truth
classical logic
logical formulas