LogiKEy
From MaRDI portal
Cited in
(18)- Nitpick
- Nunchaku
- AFRA
- KLMLean
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- PROLEG
- OSCAR
- embed_modal
- SMCDEL
- DEMO
- LegalRuleML
- GoedelGod
- Vadalog
- scientific article; zbMATH DE number 7455726 (Why is no real title available?)
- Experiments in Kratzer modal semantics using Isabelle/HOL
- Higher-order logic as a lingua franca for logico-pluralist argumentation
- Metamath Zero
- PLM
This page was built for software: LogiKEy
