Pages that link to "Item:Q5434493"
From MaRDI portal
The following pages link to KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning (Q5434493):
Displayed 4 items.
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- Preserving confidentiality while reacting on iterated queries and belief revisions (Q2254634) (← links)
- CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity (Q3185758) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)