The following pages link to Sohei Iwata (Q1625590):
Displaying 4 items.
- On arithmetical completeness of the logic of proofs (Q1625591) (← links)
- Interpolation properties for Sacchetti's logics (Q2097057) (← links)
- Topological semantics of conservativity and interpretability logics (Q5163988) (← links)
- The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} (Q6178467) (← links)
