A two-dimensional modal logic, intended for applications in social epistemic logic, with one dimension for agents and the other for epistemic states is given. The language has hybrid logic devices for agents, as proposed in earlier papers by Seligman, Liu and Girard. We give an axiomatisation and a proof of its completeness.
展开▼