Pages that link to "Item:Q618171"
From MaRDI portal
The following pages link to Cut elimination in coalgebraic logics (Q618171):
Displaying 14 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)
- Cut-elimination for a logic with definitions and induction (Q1575931) (← links)
- About cut elimination for logics of common knowledge (Q1772772) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Towards a clausal analysis of cut-elimination (Q2457341) (← links)
- Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order (Q3792660) (← links)
- CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT (Q4295221) (← links)
- (Q4840168) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
- Typed Lambda Calculi and Applications (Q5704011) (← links)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)
