Epistemic logic

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