The following pages link to (Q4397069):
Displayed 17 items.
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
- Logic of proofs and provability (Q5957921) (← links)
- Quantum logic, Hilbert space, revision theory (Q5958493) (← links)
- Provability multilattice logic (Q6040535) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)
- A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB (Q6043015) (← links)
- An Arithmetically Complete Predicate Modal Logic (Q6043018) (← links)
- Modal completeness of sublogics of the interpretability logic IL (Q6047678) (← links)
- Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms (Q6050171) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- Some observations on the FGH theorem (Q6057622) (← links)
- A Qualitative Theory of Cognitive Attitudes and their Change (Q6063857) (← links)
- A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES (Q6072337) (← links)
- DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC (Q6131230) (← links)
- AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187) (← links)
- The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} (Q6178467) (← links)
- CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC (Q6180604) (← links)