Im Zentrum der Modallogik steht die Entwicklung von Systemen, die es ermöglichen, Aussagen über Notwendigkeit und Möglichkeit zu formalisieren und zu bewerten. Eine zentrale Fragestellung in der Modallogik ist die nach der Äquivalenz von Modalitäten de dicto und de re, also der Frage, ob Aussagen über Notwendigkeit und Möglichkeit auf dieselbe Weise ausgedrückt werden können, unabhängig davon, ob sie sich auf einzelne Objekte oder auf ganze Welten beziehen. Die Modallogik hat enge Verbindungen zu anderen Teilgebieten der Logik, wie der deontischen Logik, die sich mit der Erforschung von Pflicht und Verbot beschäftigt, und der epistemischen Logik, die sich mit der Erforschung von Wissen und Glauben beschäftigt. Du findest wissenschaftliche Arbeiten zur Modallogik als PDF und eBook, viele auch als Print-on-Demand, bei GRIN.