Mu-depth 3 is more than 2: a game-theoretic proof
From MaRDI portal
Publication:2719798
DOI10.1017/S0960129500003194zbMath0979.03034MaRDI QIDQ2719798
Publication date: 17 July 2001
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Applications of game theory (91A80) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items