display all the ideas for this combination of texts
3 ideas
19297 | The two Barcan principles are easily proved in fairly basic modal logic [Hale] |
19301 | With a negative free logic, we can dispense with the Barcan formulae [Hale] |
21602 | Many-valued logics don't solve vagueness; its presence at the meta-level is ignored [Williamson] |