scientific article
From MaRDI portal
Publication:3352997
zbMath0729.03010MaRDI QIDQ3352997
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
relational semanticsalgebraic semanticsS5Gödel-Löb system GLprovability logic with quantifier modalities
Modal logic (including the logic of norms) (03B45) Gödel numberings and issues of incompleteness (03F40)
Related Items (1)
This page was built for publication:
