On the methodology of possible worlds semantics. I. Correspondence theory.

David Pearce Heinrich Wansing

Published in: Notre Dame J. Formal Log. (1988)

Keyphrases

theoretical framework
deductive reasoning
theoretical foundation
conceptual framework
database
real time
databases
knowledge base
image segmentation
point correspondences
statistical methods