Bedingte Logik ist eine Logik, die die traditionelle logische Implikation mit Modaloperatoren erweitert, die anderen Begriffen der Bedingung entsprechen (z. B. lautet die kausale Bedingung " verursacht" B "oder" B " probabilistische Konditionierung " ", die " gegebenes " lautet ).A | B A B.
Normalerweise werden diese Logiken modelltheoretisch untersucht, aber ich habe mich über ihre Anwendungen für das Design von Programmiersprachen (zum Beispiel zum Eingeben zwingender Aktionen) gewundert.
Ich würde Verweise auf ihre Beweistheorie (dh sequentielle Berechnung / natürliche Ableitung) oder auf Programmiersprachen mit Typen, die auf diesen Arten von Modaloperatoren basieren, begrüßen.
Vielen Dank!
EDIT: Die Stanford Encyclopedia of Philosophy hat eine schöne Einführung in das Thema .