The following pages link to (Q3900021):
Displaying 17 items.
- Interpolation in infinitely layered extensions of provability logic (Q584241) (← links)
- Modal characterisation theorems over special classes of frames (Q732052) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Continuum of normal extensions of the modal logic of provability with the interpolation property (Q920973) (← links)
- The modal logic of provability. The sequential approach (Q1056745) (← links)
- Generic generalized Rosser fixed points (Q1099165) (← links)
- A modal sequent calculus for a fragment of arithmetic (Q1150597) (← links)
- Amalgamation and interpolation in normal modal logics (Q1189894) (← links)
- An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) (Q1237723) (← links)
- Calculating self-referential statements. I: Explicit calculations (Q1259545) (← links)
- Provability logic without Craig's interpolation property (Q1263572) (← links)
- The fixed point property in modal logic (Q1409307) (← links)
- On arithmetical first-order theories allowing encoding and decoding of lists (Q1960537) (← links)
- Interpolation properties for Sacchetti's logics (Q2097057) (← links)
- Effectively constructible fixed points in Sacchetti's modal logics of provability (Q2134275) (← links)
- A proof theory for the logic of provability in true arithmetic (Q2193977) (← links)
- The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} (Q6178467) (← links)
