Make tableaux into decision procedures when possible
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 5/5
- Temps estimé
- Plus d'une semaine
- Accessibilité débutants
- 25/100
- Type d'issue
- Documentation
- Clarté
- À clarifier
- Activité
- À l'abandon
- Stack technique
- tex
- Domaine
- documentation
Piste de recherche
Commencez par le chapitre sur les tableaux modaux et identifiez les systèmes qui possèdent la propriété des modèles finis, mais qui peuvent tout de même produire des tableaux infinis. Déterminez quels systèmes peuvent être raffinés en procédures de décision et définissez ce que ces raffinements devraient établir. Le travail est considéré comme terminé lorsque les systèmes concernés disposent de procédures de décision documentées et que la discussion sur la complétude du chapitre reste cohérente.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
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.
- Langage dominant
- TeX
- Étoiles
- 1.4k
- Forks
- 289
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Préparer son environnement
Ce projet ne fournit ni conteneur de développement, ni Dockerfile, ni guide de contribution : l'installation est à votre charge. Commencez par son README, et consultez notre guide de la première contribution pour les étapes générales.
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de OpenLogicProject/OpenLogic
-
Russel's Paradox typoOuverte
Difficulté 1/5 Moins d'une heure Accessibilité débutants 65/100
OpenLogicProject/OpenLogic#339 · 1 commentaire ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 50/100
OpenLogicProject/OpenLogic#436 ·
-
Difficulté 3/5 1-2 jours Accessibilité débutants 68/100
OpenLogicProject/OpenLogic#435 · 1 commentaire ·
-
Order-type of models of PAOuverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100
OpenLogicProject/OpenLogic#425 · 1 commentaire ·
-
Improve docsOuverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
OpenLogicProject/OpenLogic#390 ·
Toutes les issues de OpenLogicProject/OpenLogic
Issues similaires
-
billion-context-pi
Difficulté 2/5 1-3 heures Accessibilité débutants 62/100
ranxianglei/billion-context#2521 · 3 commentaires ·
Les mainteneurs répondent en général sous 1 jour
-
agent-research agent-review-finding chore
Difficulté 2/5 1-3 heures Accessibilité débutants 66/100
jordansmall/spindrift#4922 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 78/100
nocodb/nocodb#14806 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
documentation v2
Difficulté 2/5 1-3 heures Accessibilité débutants 82/100
modelcontextprotocol/python-sdk#3662 ·
Les mainteneurs répondent en général sous 1 jour
-
docs(types): update the collection binding note now that typed collections shipped in pycubrid 1.9.0Ouvertedocumentation priority: low size: S
Difficulté 2/5 1-3 heures Accessibilité débutants 75/100
cubrid-lab/sqlalchemy-cubrid#768 ·
Les mainteneurs répondent en général sous 1 jour