Pages that link to "Item:Q5255798"
From MaRDI portal
The following pages link to Topological Interpretations of Provability Logic (Q5255798):
Displaying 25 items.
- Reflection and indescribability in the constructible universe (Q891070) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal (Q2032989) (← links)
- On the reduction property for GLP-algebras (Q2358595) (← links)
- A topological approach to full belief (Q2421518) (← links)
- The polytopologies of transfinite provability logic (Q2449857) (← links)
- On analyzability in the forking topology for simple theories (Q2503399) (← links)
- Topological perspective on the hybrid proof rules (Q2867949) (← links)
- Topologies for intermediate logics (Q2922497) (← links)
- NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC (Q3389491) (← links)
- Abstract Interpretation from a Topological Perspective (Q3392931) (← links)
- A topological characterization of consistency of logic theories in propositional logic (Q3419670) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- The topology of justification (Q3534982) (← links)
- Derived topologies on ordinals and stationary reflection (Q4644955) (← links)
- (Q4853319) (← links)
- STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES (Q4977222) (← links)
- A Topos-Theoretic Approach to Counterfactual Logic (Q5170289) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- (Q5365498) (← links)
- Generalisations of stationarity, closed and unboundedness, and of Jensen's \(\square\) (Q6040617) (← links)
- A topological completeness theorem for transfinite provability logic (Q6103511) (← links)
- COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES (Q6123584) (← links)
- Formalising basic topology for computational logic in simple type theory (Q6159367) (← links)
