scientific article
From MaRDI portal
Publication:3807198
zbMath0658.03038MaRDI QIDQ3807198
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
defaultreflectionself-referencecommonsense reasoningnamesmeta-knowledgereificationGilmore-Kripke set theory
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70) Proof theory and constructive mathematics (03F99)
Related Items (2)
This page was built for publication: