Pages that link to "Item:Q1409307"
From MaRDI portal
The following pages link to The fixed point property in modal logic (Q1409307):
Displaying 9 items.
- The provability logic for \(\Sigma_ 1\)-interpolability (Q688429) (← links)
- Quantified modal logic and self-reference (Q1097256) (← links)
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations (Q1756596) (← links)
- Interpolation properties for Sacchetti's logics (Q2097057) (← links)
- Effectively constructible fixed points in Sacchetti's modal logics of provability (Q2134275) (← links)
- Rosser provability and normal modal logics (Q2186698) (← links)
- Modal frame correspondences and fixed-points (Q2433098) (← links)
- Incompleteness and fixed points (Q2776807) (← links)
- Fixed points of formulas with double modalities (Q2885299) (← links)