Semantische Beweisführung der verallgemeinerten Schnittbeseitigung für Deep Inference
Jeder in MAV beweisbare Struktur hat auch einen normalen Beweis.
Erweiterung der Logiken perfekter paradefiniter Algebren um eine Implikation
Die Studie erweitert die Logiken perfekter paradefiniter Algebren, die Logiken der formalen Inkonsistenz und Unbestimmtheit sind, konservativ um eine Implikation, die den Deduktions-Ableitungssatz erfüllt.
Logik der zeitlichen Abhängigkeiten in dynamischen Systemen
Diese Arbeit untersucht die logischen Aspekte von zeitlichen Abhängigkeiten in dynamischen Systemen. Es wird ein System namens LDTV eingeführt, das eine modale Logik der statischen funktionalen Abhängigkeiten mit Temporallogik-Vokabular kombiniert, um dynamische Abhängigkeiten zu erfassen. Dieses System wird um Funktionssymbole und globale Gleichheit erweitert, um konkrete Gesetze, die dynamische Systeme regieren, zu spezifizieren. Schließlich wird eine allgemeinere temporale Abhängigkeitslogik für beliebige dynamische Systeme entwickelt.
Erlaubte Wissensübertragung: Eine Untersuchung der ethischen und epistemischen Implikationen
Die Kernaussage dieses Artikels ist, dass Wissensübertragung nicht einfach das Aggregieren aller verfügbaren Informationen bedeutet, sondern vielmehr das selektive Integrieren von verifiziertem und bekanntem Wissen. Dieser Ansatz führt zu einer neuartigen Form kollektiven Wissens, das die Lücke zwischen individuellem und verteiltem Wissen überbrückt.
Mischen von Quantoren in gleichförmigen eindimensionalen Fragmenten mit einem Ausflug in die Logik mit drei Variablen
Der Artikel untersucht die Möglichkeit, sowohl existenzielle als auch allgemeine Quantoren in Blöcken innerhalb des gleichförmigen eindimensionalen Fragments der Prädikatenlogik zu verwenden. Es werden zwei Einschränkungen dieses erweiterten Formalismus untersucht, die beide die Entscheidbarkeit und die exponentielle Modell-Eigenschaft aufweisen.
Die Unentscheidbarkeit der Existenz von Interpolanten für die Zwei-Variable-Logik Erster Ordnung mit zwei Äquivalenzrelationen
Die Existenz von Interpolanten ist unentscheidbar für die Zwei-Variable-Logik Erster Ordnung mit zwei Äquivalenzrelationen.
Vollständig ausgewertete links-sequenzielle Logiken
Wir betrachten eine Familie von zweiwertigen "vollständig ausgewerteten links-sequenziellen Logiken" (FELs), von denen die Freie FEL (FFEL) die schwächste und gegen atomare Nebeneffekte immun ist. Darauf folgt die Memorisierende FEL (MFEL), in der Auswertungen von Teilausdrücken gespeichert werden. Die stärkere Logik ist die Bedingte FEL (CℓFEL). Die stärkste FEL ist die Statische FEL (SFEL), eine sequenzielle Version der Aussagenlogik.
Komplexität des Modellprüfproblems für inquisitive propositionale und modale Logik
Das Modellprüfproblem für die inquisitiven Logiken InqB und InqM ist PSPACE-vollständig.
Eine logische Grundlage für Vertrauenswürdigkeit
Eine formale Logik zur Charakterisierung und Erkundung von Vertrauenswürdigkeit, ausgehend von ersten Prinzipien.
Das Interpolantexistenzproblem für schwaches K4 und Differenzlogik
Das Interpolantexistenzproblem für die modalen Logiken schwaches K4 und Differenzlogik ist entscheidbar. Die Nichtexistenz eines Interpolanten kann durch Paare von Modellen polynomieller Größe für Differenzlogik und dreifach-exponentieller Größe für schwaches K4 bezeugt werden.
© 2024 by Linnk AI