The following pages link to (Q4215636):
Displaying 48 items.
- Liar-type paradoxes and the incompleteness phenomena (Q312496) (← links)
- Proof theory and mathematical meaning of paraconsistent C-systems (Q420832) (← links)
- Provability and interpretability logics with restricted realizations (Q435232) (← links)
- A modal logic internalizing normal proofs (Q764264) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Interpretability in PRA (Q1035648) (← links)
- Proving possibility properties (Q1276319) (← links)
- Logic of proofs (Q1326774) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Provability logic and the completeness principle (Q1740459) (← links)
- A short note on essentially \(\Sigma_1\) sentences (Q1945709) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- From truth to computability. I. (Q2500484) (← links)
- The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) (Q2565986) (← links)
- On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories (Q2566065) (← links)
- Binary modal companions for subintuitionistic logics (Q2658275) (← links)
- Extension and interpretability (Q2658276) (← links)
- (Q2753697) (← links)
- Existence Proofs (Q2757361) (← links)
- The closed fragment of IL is PSPACE hard (Q2825406) (← links)
- (Q3442955) (← links)
- The Henkin Sentence (Q3454817) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases (Q4490140) (← links)
- (Q4789158) (← links)
- (Q4824968) (← links)
- MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
- ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM (Q5107534) (← links)
- DISTANCES BETWEEN FORMAL THEORIES (Q5117596) (← links)
- Semantic limits of dense combinatorial objects (Q5138464) (← links)
- (Q5141784) (← links)
- Absolute Provability and Safe Knowledge of Axioms (Q5221597) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
- The modal logic of forcing (Q5437615) (← links)
- (Q5477944) (← links)
- PROVING UNPROVABILITY (Q5737963) (← links)
- MARGINALIA ON A THEOREM OF WOODIN (Q5738208) (← links)
- A NOTE ON DERIVABILITY CONDITIONS (Q5855755) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)
- Modal completeness of sublogics of the interpretability logic IL (Q6047678) (← links)
- Some observations on the FGH theorem (Q6057622) (← links)
- Unary interpretability logics for sublogics of the interpretability logic \textbf{IL} (Q6562370) (← links)
- Essential hereditary undecidability (Q6565566) (← links)
- Notes on my scientific life (Q6612807) (← links)
- Lewisian fixed points. I: Two incomparable constructions (Q6612808) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
