Epistemic logic

From Esolang
Jump to navigation Jump to search
This article 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.

External resources