Pages that link to "Item:Q5902296"
From MaRDI portal
The following pages link to Generic Modal Cut Elimination Applied to Conditional Logics (Q5902296):
Displayed 5 items.
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Cut elimination in coalgebraic logics (Q618171) (← links)
- Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Cut Elimination for Shallow Modal Logics (Q3010370) (← links)