Representation Theorems for Cumulative Propositional Dependence Logics
arXiv:2602.21360v1 Announce Type: cross Abstract: This paper establishes and proves representation theorems for cumulative propositional dependence logic and for cumulative propositional logic with team semantics. …
Juha Kontinen, Arne Meier, Kai Sauerwald
조회수 54회