Recent Advances in Combined Decision Problems

Questo articolo vuol essere un'esposizione aggiornata, benché necessariamente parziale, dello stato dell'arte della ricerca relativa all'integrazione modulare di procedure di decisione nella logica elementare. Nello specifico, date due teorie $T_1$ e $T_2$ il cui frammento universale è decidibile, si è interessati ad individuare quali siano le condizioni che permettono di trasferire tale decidibilità alla teoria ottenuta dall'unione di $T_1$ e $T_2$. Allo scopo di dare un quadro il più possibile completo ed approfondito delle ricerche in questo campo, vengono presentati anche risultati sulla possibilità di trasferire alla teoria unione la decidibilità del problema della parola e viene descritto un ambiente di ordine superiore in cui esprimere svariati problemi di combinazione. Infine, viene fornita la descrizione ad alto livello di alcune delle tecniche più comunemente utilizzate nell'implementazione di efficienti sistemi per la combinazione.