display all the ideas for this combination of texts
3 ideas
18913 | Traditional term logic struggled to express relations [Engelbretsen] |
18907 | Term logic rests on negated terms or denial, and that propositions are tied pairs [Engelbretsen] |
15381 | Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman] |