zbMath0925.03143MaRDI QIDQ4268476
Ildikó Sain, Ana Pasztor
Publication date: 28 October 1999
Mathematics Subject Classification ID
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
Related Items