Ich bin neu im Studium von Umschreibungssystemen als Doktorand im ersten Jahr. Ich möchte einen speziellen Themenkurs zur Umschreibungstheorie vorschlagen und möchte sicherstellen, dass ich keine der Originalquellen auslasse. Ich habe eine Kopie von Barendregt und Terese als Lehrbuchquellen. Für...
Ich suche nach dem Originalpapier, in dem Hoare (oder jemand anderes, nehme ich an) die Kündigung (Total Correctness) bespricht. Oder irgendeine andere frühe Arbeit über die Beendigung der "Vanilla" Hoare-Logik (damit meine ich vermutlich einen HL für eine C-ähnliche Spielzeugsprache). Ich habe mir...
Ich habe diese Webanwendung gefunden, mit der Sie einen kostenlosen Satz für einen bestimmten Typ erstellen können. Die generierten Theoreme quantifizieren über Typen und Beziehungen zu diesen Typen. Diese Sätze (Formeln) sind Sätze von welcher Theorie / welchem logischen System? In welcher...
Ich las Harry Frankfurts On Bulls * t , einen philosophischen Aufsatz von 1986 über diese verschwommene Vorstellung zwischen Wahrheit und Falschheit. Dies ist keine unentgeltliche Übung. Dies kann Anwendungen in der Informatik haben, da wir immer Datensätze ineinander leiten . Einige dieser...
Problem: Betrachten Sie eine endliche Anzahl von Steuerzuständen (einschließlich eines "anfänglichen" und eines "schlechten" Zustands), eine endliche Anzahl von ganzzahligen Variablen und für jedes geordnete Paar von Zuständen eine Übergangsbeziehung, die in der Presburger-Arithmetik ausgedrückt...
Ich habe eine modale Logik mit dem Axiom betrachtet ( ◊ A ∧ ◊ B ) → ◊ ( ( A ∧ ◊ B ) ∨ ( A ∧ B ) ∨ ( A ∧ ◊ B ) )(◊EIN∧◊B.)→◊((EIN∧◊B.)∨(EIN∧B.)∨(EIN∧◊B.)) (\Diamond A \land \Diamond B) \to \Diamond((A \land \Diamond B) \vee (A \land B) \vee (A \land \Diamond B)) Dies besagt ungefähr, dass die...
Ich habe mich eine Weile über die Herkunft der Namen "immun" und "einfach" gewundert. Die gleiche Frage stellte ich auch Andrea Sorbi, die wiederum einige weitere Kollegen in die Diskussion einbezog. Über "einfach" haben wir einige Vermutungen. Martin Davis schlägt vor, dass der Name von einer...
Was ist die Komplexität des lokalen Erfüllbarkeitsproblems für modale Logik ? Hier bezeichnen wir mit die Modallogik über euklidische Rahmen, die mit inverser Modalität erweitert wurden. Könnten Sie Referenzen angeben? Ist es in ?I K 5IK5\mathit{IK5}ichK.5IK5IK5N.P.NPNP Was weiß ich über das Thema?...