display all the ideas for this combination of philosophers
4 ideas
15430 | Is classical logic a part of intuitionist logic, or vice versa? [Burgess] |
15431 | It is still unsettled whether standard intuitionist logic is complete [Burgess] |
15429 | Relevance logic's → is perhaps expressible by 'if A, then B, for that reason' [Burgess] |
15381 | Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman] |