-
Christoph Schwering authored
LELA stands for Limited Epistemic Logic with Actions or Limited Epistemic Logic and Actions or, more catchy, Limited Epistemic Logic in Action. Naming the logic ES[B]L made no sense anymore, because it also implements regression and progression.
Christoph Schwering authoredLELA stands for Limited Epistemic Logic with Actions or Limited Epistemic Logic and Actions or, more catchy, Limited Epistemic Logic in Action. Naming the logic ES[B]L made no sense anymore, because it also implements regression and progression.
Loading