scientific article; zbMATH DE number 3564933
From MaRDI portal
zbMath0363.02025MaRDI QIDQ4137143
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Information storage and retrieval of data (68P20)
Related Items
The guarded fragment with transitive guards, Non-monotonic logic. I, Logic of nondeterministic information