| 41. | A formal modal logic represents modalities using modal operators.
|
| 42. | Modal logic is also studied using Kripke models.
|
| 43. | That is the S5 axiom in modal logic.
|
| 44. | After graduation Hentschel participated in a research project by the Deutsche Forschungsgemeinschaft on epistemic modal logic.
|
| 45. | The different systems of modal logic are distinguished by the properties of their corresponding accessibility relations.
|
| 46. | Some systems of modal logic meet this definition.
|
| 47. | This has inspired people to develop modal logic.
|
| 48. | As mentioned, precursors of modal logic includes Aristotle.
|
| 49. | This construction is a special case of a more general result for modal algebras and modal logic.
|
| 50. | Epistemic logic is a modal logic.
|
