The following pages link to (Q3838813):
Displaying 4 items.
- Hyperresolution for guarded formulae (Q1404983) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- A tableaux calculus for default intuitionistic logic (Q2305412) (← links)
- \textbf{DefTab}: a tableaux system for sceptical consequence in default modal logics (Q6541144) (← links)