scientific article; zbMATH DE number 7288886
From MaRDI portal
Publication:5141784
zbMath1487.03030MaRDI QIDQ5141784
Publication date: 18 December 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Turing machines and related notions (03D10) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
This page was built for publication:
