Combining Philosophers
Ideas for Niccolo Machiavelli, Stephen Read and Susan A. Gelman
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
1 idea
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / a. Systems of modal logic
11004
|
Necessity is provability in S4, and true in all worlds in S5 [Read]
|