zbMath0364.68090MaRDI QIDQ4139727
Witold jun. Lipski
Publication date: 1976
Mathematics Subject Classification ID
03B45: Modal logic (including the logic of norms)
68P20: Information storage and retrieval of data
Related Items