Timothy Stephen Lyon PhD
Person

Affiliations

Chair of Computational Logic
- Academic Staff
- timothy_stephen.lyon@tu-dresden.de

Identification Numbers

ORCID	0000-0003-3214-0828
Scopus author ID	57199194257

A Framework for Intuitionistic Grammar Logics

Lyon, T., 1 Oct 2021, Logic and Argumentation - 4th International Conference, CLAR 2021, Proceedings. Baroni, P., Benzmüller, C. & Wáng, Y. N. (eds.). Springer International Publishing AG, Vol. 13040. p. 495-503 9 p.

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

The Varieties of Ought-implies-Can and Deontic STIT Logic

Berkel, K. V. & Lyon, T., 1 Jul 2021, Deontic Logic and Normative Systems: 15th International Conference, DEON 2020/2021. Liu, F., Marra, A., Portner, P. & Putte, F. V. D. (eds.). College Publications, p. 57-76 20 p.

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Display to Labeled Proofs and Back Again for Tense Logics

Ciabattoni, A., Lyon, T., Ramanayake, R. & Tiu, A., Jun 2021, In: ACM transactions on computational logic. 22, 3, p. 1-31 31 p., 3460492.

Research output: Contribution to journal › Research article › Contributed › peer-review

Nested Sequents for Intuitionistic Modal Logics via Structural Refinement

Lyon, T. S., 2021, Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Proceedings. Das, A. & Negri, S. (eds.). Cham: Springer International Publishing AG, p. 409-427 19 p.

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

On the correspondence between nested calculi and semantic systems for intuitionistic logics

Lyon, T., 1 Dec 2020, In: Journal of logic and computation. 31, 1, p. 213-265 53 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

View all research output (13)

Research Portal of the TU Dresden

Timothy Stephen Lyon PhD
Person

Affiliations

Identification Numbers

Related content

A Framework for Intuitionistic Grammar Logics

The Varieties of Ought-implies-Can and Deontic STIT Logic

Display to Labeled Proofs and Back Again for Tense Logics

Nested Sequents for Intuitionistic Modal Logics via Structural Refinement

On the correspondence between nested calculi and semantic systems for intuitionistic logics