Pages that link to "Item:Q618171"
From MaRDI portal
The following pages link to Cut elimination in coalgebraic logics (Q618171):
Displaying 7 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)
