They seem to be concerned with deductive reasoning. Model Checking vs . In this paper we present an approach to knowledge representation and processing that combines a direct semantic representation of examples with the usual sentential representation. 1991, Model checking vs . Perhaps when using the model checking approach, it might make sense to work at the set theoretic level.
Probability provides another example.
Probabilists start by defining a particular model the probability space of interest and then investigating its properties. Model checking vs . Perhaps when using the model checking approach, it might make sense to work at the set theoretic level. Probability provides another example. Probabilists start by defining a particular model the probability space of interest and then investigating its properties.