Pages that link to "Item:Q2363418"
From MaRDI portal
The following pages link to Cut-elimination for quantified conditional logic (Q2363418):
Displaying 14 items.
- On the elimination of quantifier-free cuts (Q650922) (← links)
- Some embedding theorems for conditional logic (Q853813) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Automating free logic in HOL, with an experimental application in category theory (Q2303232) (← links)
- Towards a clausal analysis of cut-elimination (Q2457341) (← links)
- The role of quantifier alternations in cut elimination (Q2565988) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Cut-elimination for knowledge logics with interaction (Q2811590) (← links)
- Simulating non-prenex cuts in quantified propositional calculus (Q3096088) (← links)
- CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT (Q4295221) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- Generic Modal Cut Elimination Applied to Conditional Logics (Q5902296) (← links)
- Cut elimination for a calculus with context-dependent rules (Q5945008) (← links)
- Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments (Q6618558) (← links)
