An axiomatic system and a tableau calculus for STIT imagination logic

From MaRDI portal
Publication:1749805