Pages that link to "Item:Q1317899"
From MaRDI portal
The following pages link to A uniform tableau method for intuitionistic modal logics. I (Q1317899):
Displaying 4 items.
- On graphs for intuitionistic modal logics (Q1744424) (← links)
- Tableaus for many-valued modal logic (Q1896755) (← links)
- Almost duplication-free tableau calculi for prepositional lax logics (Q4645225) (← links)
- Universal proof theory: feasible admissibility in intuitionistic modal logics (Q6652040) (← links)
