modal logic: the logical study of necessity and possibility
logic: the branch of philosophy that analyzes inference
black spruce: small spruce of boggy areas of northeastern North America having spreading branches with dense foliage; inferior wood