Tim S. Lyon

This paper unveils a framework for Godel-Dummett logics using nested sequent systems.

This article explores nested sequents and their application in quantified modal logics.

A look into existential rules and their significance in query entailment.

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.