Independent Axiom Schemata for Von Wright's M.

Alan Ross Anderson

Published in: J. Symb. Log. (1957)

Keyphrases

inference rules
search engine
real world
computer vision
functional dependencies
modal logic