Temporal logic of linearly ordered a-spaces

• Autores: V. F. Murzina
• Localización: Algebra and logic, ISSN 0002-5232, Vol. 47, Nº. 6, 2008, págs. 405-419
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.