V. F. Murzina
Using the language of temporal logic, we construct a decidable calculus L* ? and prove that the calculus is complete w.r.t. the class of all strictly linearly ordered ?-frames.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: