modal logic
PulseAugur coverage of modal logic — every cluster mentioning modal logic across labs, papers, and developer communities, ranked by signal.
-
New framework DEC enhances knowledge graphs with epistemic stance reasoning
Researchers have introduced DEC, a new framework designed to enhance knowledge graphs by interpreting provenance statements as indicators of epistemic stance. This approach groups statements into 'cognitive worlds' and …
-
Modal judgment aggregation faces Arrow-type impossibility
Researchers have developed a new impossibility theorem for combining modal judgments, demonstrating that Arrow-type impossibilities can emerge even in simplified modal logic settings. The study focuses on aggregating ju…
-
AI plan existence problem proven undecidable in new research
Researchers have proven that the plan existence problem in modal logic is undecidable. This problem involves determining if a sequence of epistemic actions can achieve a specified goal, given an initial state and a set …