Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Timothy Stephen Lyon PhD
Person

Zugehörigkeiten

Professur für Computational Logic
- Wissenschaftliches Personal
- timothy_stephen.lyon@tu-dresden.de

Identifizierungsnummern

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

Veröffentlichungen

A Framework for Intuitionistic Grammar Logics

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

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

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

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

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Display to Labeled Proofs and Back Again for Tense Logics

Ciabattoni, A., Lyon, T., Ramanayake, R. & Tiu, A., Juni 2021, in: ACM transactions on computational logic. 22, 3, S. 1-31 31 S., 3460492.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

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. (Hrsg.). Cham: Springer International Publishing AG, S. 409-427 19 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

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

Lyon, T., 1 Dez. 2020, in: Journal of logic and computation. 31, 1, S. 213-265 53 S.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (13)