Dynamic epistemic logic
PulseAugur coverage of Dynamic epistemic logic — every cluster mentioning Dynamic epistemic logic across labs, papers, and developer communities, ranked by signal.
2 day(s) with sentiment data
-
LogiKEy methodology uses proof assistants to teach logic
A new methodology called LogiKEy is being presented for teaching logic to students across computer science, mathematics, and philosophy. This approach utilizes a single proof assistant, Isabelle/HOL, to encode various o…
-
New Type-6 Logic Aims to Verify LLM Chain-of-Thought Reasoning
Researchers have introduced Type-6 logic, a novel variant of dynamic epistemic logic, to better model and verify the chain-of-thought (CoT) reasoning processes of large language models (LLMs). This new logic incorporate…
-
New research advances epistemic logic for belief and distributed knowledge
Two new research papers explore advancements in epistemic logic, a field concerned with reasoning about knowledge and belief. The first paper introduces a novel mechanism for belief contraction within standard Kripke mo…
-
New logic system extends knowledge reasoning with data exchange modeling
Researchers have developed a new logic system that extends Dynamic Epistemic Logic (DEL). This enhanced logic incorporates operators for conditional non-propositional knowledge, allowing agents to reason about the numer…
-
New EPDDL language standardizes epistemic planning tasks
Researchers have introduced the Epistemic Planning Domain Definition Language (EPDDL) to standardize the representation of epistemic planning tasks. This new language aims to unify the diverse and often ad hoc methods c…