The following pages link to (Q4215610):
Displaying 43 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- A note on bisimulation and modal equivalence in provability logic and interpretability logic (Q361870) (← links)
- Provability and interpretability logics with restricted realizations (Q435232) (← links)
- Weak theories of concatenation and arithmetic (Q435240) (← links)
- Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) (Q481870) (← links)
- The de Jongh property for basic arithmetic (Q481876) (← links)
- Faith \& falsity (Q705533) (← links)
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
- Some notes on truths and comprehension (Q722023) (← links)
- On modal logics of model-theoretic relations (Q831223) (← links)
- On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\) (Q892132) (← links)
- Reflecting rules: a note on generalizing the deduction theorem (Q898771) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Pairs, sets and sequences in first-order theories (Q943342) (← links)
- Interpretability in PRA (Q1035648) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- A short note on essentially \(\Sigma_1\) sentences (Q1945709) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) (Q2565986) (← links)
- Hard provability logics (Q2658282) (← links)
- The Closed Fragment of IL is PSPACE Hard (Q2825406) (← links)
- What is Absolute Undecidability?† (Q2869810) (← links)
- Logic in the Land of Make-Believe (Q3387897) (← links)
- Kripke Models Built from Models of Arithmetic (Q3455186) (← links)
- Modal Matters for Interpretability Logics (Q3535605) (← links)
- (Q4250049) (← links)
- (Q4250050) (← links)
- (Q4437331) (← links)
- HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY (Q4637948) (← links)
- PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC (Q5037516) (← links)
- TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES (Q5107215) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS (Q5148108) (← links)
- EQUIVALENCES FOR TRUTH PREDICATES (Q5274881) (← links)
- MINIMAL TRUTH AND INTERPRETABILITY (Q5850988) (← links)
- Rules and arithmetics (Q5937848) (← links)
- The principles of interpretability (Q5937854) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
- Theory and application of labelling techniques for interpretability logics (Q6094159) (← links)
- Bisimulations and bisimulation games between Verbrugge models (Q6096733) (← links)
- The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} (Q6178467) (← links)
- Lewisian fixed points. I: Two incomparable constructions (Q6612808) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
