The following pages link to (Q4619819):
Displaying 9 items.
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Extending SMT solvers to higher-order logic (Q2305406) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Cut-elimination for quantified conditional logic (Q2363418) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- (Q4989394) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Superposition with lambdas (Q5919500) (← links)
- Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments (Q6618558) (← links)