TL;DR
It is shown that, if the horizon of epistemic actions is bounded, the multiplicative connectives can be eliminated from a logical language with also epistemic and action model modalities.
This paper proposes a calculus for Dynamic Epistemic Logic (DEL) based on dynamic hypersequents, a new framework for capturing the dynamics of epistemic models in a purely structural and natural way. We enrich dynamic hypersequents with agent indices and an event store, yielding a uniform representation of epistemic ev...
In the analysis and design of multi-agent systems, the representation and communication of knowledge is a critical challenge. The traditional methods of the past, such as dynamic epistemic logic, often lack a process algebraic perspective for modeling concurrent belief-driven interactions. This paper proposes the Calcu...
This work introduces defeasible action rules that capture the typical outcome of action, without committing to what happens in exceptional circumstances, and defines an inference operator for defeasible action rules inspired by rational closure, adapted to the dynamic setting.
A modular logical framework for both reasoning with and measuring inconsistency in propositional knowledge bases that captures several existing forms of inconsistency-tolerant reasoning, including entailment based on maximal satisfiable subsets and the minimally inconsistent Logic of Paradox.
A novel type of epistemic logic is used, employing comparative knowledge assertions, to analyze the relative epistemic powers of individuals or groups of agents, exploring what agents or groups can know about their own epistemic position relative to that of others.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
