display all the ideas for this combination of texts
3 ideas
10206 | Modal operators are usually treated as quantifiers [Shapiro] |
19301 | With a negative free logic, we can dispense with the Barcan formulae [Hale] |
19297 | The two Barcan principles are easily proved in fairly basic modal logic [Hale] |