DOI10.1016/0304-3975(95)00108-5zbMath0872.68172MaRDI QIDQ1350527
Michael Kaminski, Chung Kei Wong
Publication date: 27 February 1997 Published in: Theoretical Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/0304-3975(95)00108-5
Mathematics Subject Classification ID
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
Cites Work