Agent-Knowledge Logic for Alternative Epistemic Logic

Yuki Nishimura

Epistemic logic is known as a logic that captures the knowledge and beliefs of agents and has undergone various developments since Hintikka (1962). In this paper, we propose a new…