Buscar
Mostrando ítems 1-1 de 1
On some aspects of decidability of annotated systems
(C S R E A Press, 2001-01-01)
In this paper, we discuss some results of decidability of annotated systems. The annotated propositional logic Ptau and its S5 type modal extension S5tau are shown to be decidable. These results reveal that annotated systems ...