Tim S. Lyon

New methods enhance explicit definitions in description logics for clearer knowledge representation.

New methods reveal decidability in quasi-dense logics using database theory.

Explore the role of proof systems in tense logics and their interrelation.

Discover a fresh approach to fixed-point equations in software logic.