scientific article
From MaRDI portal
Publication:3347874
zbMath0559.03036MaRDI QIDQ3347874
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
epistemic logicdeductive systemformalization of intensional conceptshigher-order variables and quantifiers
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) First-order arithmetic and fragments (03F30) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Related Items
Closure of a priori knowability under a priori knowable material implication, Provability in principle and controversial constructivistic principles, MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY, A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES, DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC, A machine that knows its own code, Montague's paradox, informal provability, and explicit modal logic, Short-circuiting the definition of mathematical knowledge for an artificial general intelligence, Integrating classical and intuitionistic type theory, Epistemic and intuitionistic formal systems, Non-deterministic logic of informal provability has no finite characterization, Proof-Theoretic Semantics and Feasibility, Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory, Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis, Fast-collapsing theories, Mechanism, truth, and Penrose's new argument