Welcher Zusammenhang besteht zwischen zeitlichem und epistemischem Wissen?

Was Sie suchen, nennt sich dynamische epistemische Logik, sie wurde ab Ende der 1980er Jahre entwickelt, um Veränderungen im Wissen darzustellen. Internet Encyclopedia of Philosophy gibt einen schönen Überblick mit vielen Referenzen: "Die modalen Wissensoperatoren in der epistemischen Logik werden formal interpretiert, indem binäre Zugänglichkeitsbeziehungen in Kripke-Modellen mit mehreren Agenten (relationale Strukturen) verwendet werden, wobei diese Beziehungen Äquivalenzbeziehungen sein sollten, um die Eigenschaften des Wissens zu respektieren. Die Operatoren für Wissensveränderung entsprechen einer anderen Art von Modalität, die eher einer dynamischen Modalität ähnelt. Eine Besonderheit dieser dynamischen Modalität besteht darin, dass sie interpretiert wird, indem die zur Interpretation von Wissen verwendeten Kripke-Strukturen transformiert werden, und nicht, zumindest nicht auf den ersten Blick, durch eine mit einem Kripke-Modell gegebene Zugänglichkeitsbeziehung .

Die Repräsentation von faktischen ("ontischen") Veränderungen ist noch jünger, siehe Logics of Communication and Change von van Benthem, van Eijck und Kooi (2006) : " Wir schlagen neue Systeme vor, die die epistemische Grundsprache um einen neuen Begriff von 'relativiert' erweitern allgemeines Wissen", so dass die daraus resultierende vollständige dynamische Logik des Informationsflusses eine kompositorische Analyse aller epistemischen Nachbedingungen über durchsichtige "Reduktionsaxiome" ermöglicht. Wir zeigen auch, wie solche Systeme mit faktischen Veränderungen statt nur mit Informationsänderungen umgehen können , wodurch sie ein viel breiteres Spektrum realistischer Ereignisse abdecken .