The following pages link to (Q3347874):
Displaying 17 items.
- Closure of a priori knowability under a priori knowable material implication (Q320484) (← links)
- A machine that knows its own code (Q456969) (← links)
- Integrating classical and intuitionistic type theory (Q580341) (← links)
- Epistemic and intuitionistic formal systems (Q580343) (← links)
- Topological models of epistemic set theory (Q916657) (← links)
- Provability in principle and controversial constructivistic principles (Q1372941) (← links)
- Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis (Q1591373) (← links)
- Mechanism, truth, and Penrose's new argument (Q1871136) (← links)
- Non-deterministic logic of informal provability has no finite characterization (Q2071578) (← links)
- Short-circuiting the definition of mathematical knowledge for an artificial general intelligence (Q2234052) (← links)
- Fast-collapsing theories (Q2350213) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY (Q4577994) (← links)
- Proof-Theoretic Semantics and Feasibility (Q5250217) (← links)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
- A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES (Q6072337) (← links)
- DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC (Q6131230) (← links)
