Epistemic logic

From Esolang
Jump to: navigation, search
This article is a stub, which means that it is not detailed enough and needs to be expanded. Please help us by adding some more information.

Epistemic logic is a formal logic about how groups of agents, which can know things, behave.