Combining Texts

All the ideas for 'Model Theory for Modal Logic I', 'Dynamic Logics' and 'On Political Reactions'

expand these ideas     |    start again     |     specify just one area for these texts

---

4 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5

9560	S5 provides the correct logic for necessity in the broadly logical sense [Fine,K]

4. Formal Logic / E. Nonclassical Logics / 11. Dynamic Logics

15381

Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman]

23. Ethics / D. Deontological Ethics / 2. Duty

22439

There are only duties if there are rights, so truth is only for those with a right to it [Constant]

22440

Unconditional truth-telling makes a society impossible [Constant]