Combining Philosophers
Ideas for Melvin Fitting, Stephen Wolfram and Stephen Read
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]
|