Forschung
Neue Darstellungstheoreme für kumulative propositionale Abhängigkeitslogik
Ein neues arXiv-Papier (2602.21360v1) präsentiert überzeugende Darstellungstheoreme für zwei zentrale Varianten kumulativer Logiken. Die Au…
arXiv – cs.AI