scientific article
From MaRDI portal
Publication:2735781
zbMath0973.03021MaRDI QIDQ2735781
Publication date: 4 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Turing machinesconceptual realismcomputable conceptseffective knowledgesecond-order epistemic formal system MEK
Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Turing machines and related notions (03D10)
This page was built for publication: