Tim S. Lyon

Nuevos métodos mejoran las definiciones explícitas en lógicas de descripción para una representación del conocimiento más clara.

Nuevos métodos revelan la decidibilidad en lógicas cuasi-densas usando teoría de bases de datos.

Explora el papel de los sistemas de prueba en las lógicas temporales y su interrelación.

Descubre un enfoque nuevo para las ecuaciones de punto fijo en la lógica del software.