Pages that link to "Item:Q3192215"
From MaRDI portal
The following pages link to NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics (Q3192215):
Displayed 4 items.
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi (Q2817945) (← links)
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) (Q5049018) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)