Make tableaux into decision procedures when possible
Dieses Issue hat noch niemand übernommen.
Bewertung
- Schwierigkeit
- 5/5
- Geschätzter Aufwand
- Über eine Woche
- Anfängerfreundlichkeit
- 25/100
- Issue-Typ
- Dokumentation
- Klarheit
- Muss geklärt werden
- Aktivitätsstatus
- Veraltet
- Tech-Stack
- tex
- Bereich
- documentation
Rechercherichtung
Beginne mit dem Kapitel zu den modalen Tableaux und identifiziere die Systeme, die die Eigenschaft endlicher Modelle besitzen, aber dennoch unendliche Tableaux erzeugen können. Bestimme, welche Systeme zu Entscheidungsverfahren verfeinert werden können, und definiere, was diese Verfeinerungen nachweisen sollten. Als abgeschlossen gilt die Aufgabe, wenn für die anwendbaren Systeme dokumentierte Entscheidungsverfahren vorliegen und die Diskussion der Vollständigkeit im Kapitel weiterhin konsistent ist.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Beschreibung
The systems discussed in the modal tableaux chapter all have the fmp, but some systems produce infinite tableaux if the assumptions are satisfiable. These yield infinite counterexamples, so no problem for completeness. It would be nice if the systems could be refined to yield decision procedures.
- Vorherrschende Sprache
- TeX
- Sterne
- 1.4k
- Forks
- 289
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Entwicklungsumgebung
Dieses Projekt bietet weder Dev-Container noch Dockerfile noch Beitragsleitfaden – die Einrichtung liegt bei Ihnen. Beginnen Sie mit der README; die allgemeinen Schritte stehen in unserem Leitfaden für den ersten Beitrag.
Erste Schritte
- Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
- Forken Sie das Repository und arbeiten Sie in einem Branch.
- Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.
Mehr aus OpenLogicProject/OpenLogic
-
Russel's Paradox typoOffen
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 65/100
OpenLogicProject/OpenLogic#339 · 1 Kommentar ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 50/100
OpenLogicProject/OpenLogic#436 ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 68/100
OpenLogicProject/OpenLogic#435 · 1 Kommentar ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100
OpenLogicProject/OpenLogic#425 · 1 Kommentar ·
-
Improve docsOffen
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
OpenLogicProject/OpenLogic#390 ·
Alle Issues in OpenLogicProject/OpenLogic
Ähnliche Issues
-
agent-research agent-review-finding chore
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 66/100
jordansmall/spindrift#4922 ·
Maintainer antworten meist innerhalb von 1 Tag
-
docs(types): update the collection binding note now that typed collections shipped in pycubrid 1.9.0Offendocumentation priority: low size: S
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 75/100
cubrid-lab/sqlalchemy-cubrid#768 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Broken link in index.rstOffendocumentation
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 65/100
ansys/pydpf-core#3547 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Messenger
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 62/100
symfony/symfony-docs#23237 ·
Maintainer antworten meist innerhalb von 3 Tagen
-
feedback simulation workshop
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 66/100
githubnext/gh-aw-workshop#4370 ·
Maintainer antworten meist innerhalb von 1 Tag