Pages that link to "Item:Q4306544"
From MaRDI portal
The following pages link to A Sequent Calculus for the Lesniewskian Modal Logic (Q4306544):
Displaying 8 items.
- A sequent calculus for a negative free logic (Q622624) (← links)
- A perspective on modal sequent logic (Q1187165) (← links)
- A modal logic for discretely descending chains of sets (Q1826367) (← links)
- On Blass translation for Leśniewski's propositional ontology and modal logics (Q2115291) (← links)
- Modular sequent calculi for classical modal logics (Q2350219) (← links)
- Sequent Systems for Lewis’ Conditional Logics (Q2915082) (← links)
- (Q3222169) (← links)
- Gentzen sequent calculi for some intuitionistic modal logics (Q5014057) (← links)