Aufgrund der Ähnlichkeiten zur Kripke-Semantik, ergibt sich aus diesem Ansatz eine modale Logik.
Due to the similarity to Kripke semantics, the supervaluational approach results in a modal logic.
Hier bewies er einen nach ihm benannten Satz, dass die modale Logik der Teil der Prädikatenlogik ist, der unter Bisimulation geschlossen ist.
This research has resulted in Van Benthem's Theorem, which states that propositional modal logic is the fragment of first-order logic that is closed under bisimulation.
Die entscheidende Frage ist dabei: Angenommen, dass die modale Logik funktioniert und das zumindest einige Semantiken dafür korrekt sind: Wie kann man sich diese möglichen Welten vorstellen, auf die wir uns in unserer Interpretation modaler Aussagen beziehen?
The fundamental question here is: given that modal logic works, and that some possible-worlds semantics for modal logic is correct, what has to be true of the world, and just what are these possible worlds that we range over in our interpretation of modal statements?
Andere resultaten
"Bedeutung und Notwendigkeit: Eine Studie zur Semantik und modalen Logik"
"Meaning and necessity: a study of semantics and modal logic"
Lineare temporale Logik (LTL oder Linear temporal logic) ist eine modale temporale Logik mit zeitlichen Modalitäten.
In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time.
Früher wurde der "Wirkungsmechanismus" modalen Denkens folgendermaßen erklärt: mit jedem neuen Akkord wird ein Vergleich ausgelöst zwischen dem Klang, der nach natürlicher musikalischer Logik erwartet wird, und dem Klang, der tatsächlich zu hören ist.
Earlier, the 'effect mechanism' of modal thinking was explained in the following way: with each coming chord a comparison is made between the chord which would be expected, according to the natural logic of music, and the chord which actually occurs.
Um die Logik für die Fokuswiederherstellung zu beheben, die fälschlicherweise kontinuierlich ein unverankertes Fenster reaktiviert (und es wie ein modales Dialogfeld anzeigt), wird sie jetzt an der Wiederherstellung gehindert, wenn der Kandidat kein untergeordnetes Element des Fensters ist.KeineNone.
Floating windows To fix focus restoration logic that incorrectly keeps reactivating a floating window (making it appear like a modal dialog box), focus restoration is now prevented if the candidate is not a child of the window.
In Philosophie und Logik dient der Begriff der möglichen Welt dazu, die Bedeutung von modalen Aussagen zu erklären, das heißt von Aussagen, die ihren Gehalt mit Modalbegriffen wie „möglich" und „notwendig" qualifizieren.
"Possible worlds" redirects here. For other uses, see Possible Worlds. In philosophy and logic, the concept of a possible world is used to express modal claims.
Bahnbrechend waren seine Beiträge "Deontic Logic" (deutsch Deontische Logik) und An Essay in Modal Logic (Modallogik) aus dem Jahre 1951.
His 1951 books, An Essay in Modal Logic and Deontic Logic, were landmarks in the postwar rise of formal modal logic and its deontic version.
