The following pages link to The road to two theorems of logic (Q1024115):
Displaying 4 items.
- Beth definability, interpolation and language splitting (Q542122) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)
- Range-restricted and Horn interpolation through clausal tableaux (Q6541142) (← links)
