logic model
method of depicting causal relationships
probabilistic semantics
extension of the common semantics of logic for dealing with uncertain knowledge
proof-theoretic semantics
approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, but in the role that the proposition or logical connective plays within the system of inference
truth-value semantics
alternative to Tarskian semantics primarily championed by Ruth Barcan Marcus