Gelfond’s epistemic logic programs are not only an extension of disjunctive extended logic programs for handling difficulties in reasoning with incomplete information, but also an effective formalism to represent agents’ epistemic reasoning under a logic programming setting. Recently there is an increasing research in this direction. However, for many years the complexity of epistemic logic pro...

Dynamic epistemic logic (DEL) is a popular framework for studying interaction in multi-agent systems. DELs describe the actions available to the agents, and their epistemic preand post-conditions. By extending standard epistemic models with preferences over epistemic states, we can say something about rational behaviour as well, combining logic and game theory. In this paper we assume that pref...

We present a substructural epistemic logic, based on Boolean BI, in which the epistemic modalities are parametrized on agents’ local resources. The new modalities can be seen as generalizations of the usual epistemic modalities. The logic combines Boolean BI’s resource semantics with epistemic agency. We give a labelled tableaux calculus and establish soundness and completeness with respect to ...

The consequences of the theorems about ontological models are studied. Maximally ψ-epistemic is shown to be equivalent to the conjunction of two other conditions, each of which can be realized in Hilbert spaces of arbitrary dimension, but which cannot occur together for d > 2. I argue that current theorems do not invalidate an epistemic interpretation of quantum states. A new condition, called ...

Abstract Recent philosophical literature on epistemic harms has paid little attention to the difference between deliberate and non-deliberate harms. In this paper, I analyze “Curare Case,” a case from 1940’s in which patient testimony was disregarded by physicians. This been described as an instance of injustice. problematize description, arguing instead that shows “epistemic disadvantage.” pro...

We propose a new class of logics for specifying and modelchecking properties of distributed systems Dynamic Epistemic Spatial Logics. They have been designed as extensions of Hennessy-Milner logic with spatial operators (inspired by Cardelli-Gordon-Caires spatial logic) and epistemic operators (inspired by dynamic-epistemic logics). Our logics focus on observers, agents placed in different loca...

Public announcement logic (PAL) is a simple dynamic epistemic logic extending reasoning about knowledge of agents with a modal operator for simultaneous and transparent knowledge updates. This logic is no more expressive than epistemic logic (EL) without updates, but exhibits compact representation of a number of complex epistemic situations. A labeled tableau proof system to reason with these ...