The following pages link to (Q4637694):
Displaying 6 items.
- Correspondence, canonicity, and model theory for monotonic modal logics (Q2021573) (← links)
- A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski (Q2322259) (← links)
- (Q3086937) (← links)
- (Q3703880) (← links)
- (Q5094147) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)