Pages that link to "Item:Q3010370"
From MaRDI portal
The following pages link to Cut Elimination for Shallow Modal Logics (Q3010370):
Displaying 10 items.
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- About cut elimination for logics of common knowledge (Q1772772) (← links)
- Lemma and cut strategies for propositional model elimination (Q1978019) (← links)
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- Cut-elimination for knowledge logics with interaction (Q2811590) (← links)
- Sequent Systems for Lewis’ Conditional Logics (Q2915082) (← links)
- Taming Paraconsistent (and Other) Logics (Q2946751) (← links)
- Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics (Q4779590) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- Generic Modal Cut Elimination Applied to Conditional Logics (Q5902296) (← links)
