Publication:5483013

zbMath1102.03020MaRDI QIDQ5483013

Ilya B. Shapirovsky

Publication date: 15 August 2006

zbMATH Keywords

computational complexity; modal logics of Minkowski spacetime; transitive logics

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03D15: Complexity of computation (including implicit computational complexity)

Related Items

Modal logics of some geometrical structures