Articles by Tim S. Lyon

Claim page

Tim S. Lyon

Activity

Upvotes

Folders

Articles

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic

5 December 2024 by Tim Lyon

Logic in Computer Science, Logic

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents

19 November 2024 by Tim Lyon and others

Logic in Computer Science, Logic

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations

19 November 2024 by Tim Lyon

Logic in Computer Science, Logic

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents

18 October 2024 by Tim Lyon and Jonas Karge

Logic in Computer Science, Artificial Intelligence

Proof Theory and Decision Procedures for Deontic STIT Logics

4 October 2024 by Tim Lyon and Kees Van Berkel

Logic in Computer Science, Logic

Decidability of Querying First-Order Theories via Countermodels of Finite Width

16 September 2024 by Thomas Feller and others at

Technische Universität Dresden

Logic in Computer Science, Artificial Intelligence

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics

28 June 2024 by Tim Lyon

Logic in Computer Science, Logic

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics

6 June 2024 by Tim Lyon

Logic in Computer Science, Logic

Decidability of Quasi-Dense Modal Logics

5 June 2024 by Piotr Ostropolski-Nalewaja and Tim Lyon

Logic in Computer Science, Logic

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations

6 December 2023 by Tim Lyon and others at

LATP

Logic in Computer Science, Logic

Nested Sequents for Quantified Modal Logics

8 November 2023 by Tim Lyon and Eugenio Orlandelli

Logic, Logic in Computer Science

Nested Sequents for First-Order Modal Logics via Reachability Rules

8 November 2023 by Tim Lyon

Logic in Computer Science, Logic

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

18 July 2023 by Tim Lyon and Sebastian Rudolph

Logic in Computer Science, Artificial Intelligence

Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules

5 June 2023 by Tim Lyon and Piotr Ostropolski-Nalewaja

Logic in Computer Science, Artificial Intelligence

Standpoint Linear Temporal Logic

27 April 2023 by Nicola Gigante and others

Artificial Intelligence

Foundations for an Abstract Proof Theory in the Context of Horn Rules

12 April 2023 by Tim Lyon and Piotr Ostropolski-Nalewaja

Logic in Computer Science, Discrete Mathematics

A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations

23 February 2023 by Kees Van Berkel and others

Logic, Logic in Computer Science

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement

31 October 2022 by Tim Lyon

Logic in Computer Science, Discrete Mathematics

Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying

6 September 2022 by Thomas Feller and others

Logic in Computer Science, Artificial Intelligence

Automating Reasoning with Standpoint Logic via Nested Sequents

5 May 2022 by Tim Lyon and Lucía Gómez Álvarez

Logic in Computer Science, Artificial Intelligence

A Framework for Intuitionistic Grammar Logics

2 October 2021 by Tim Lyon

Logic, Logic in Computer Science

Nested Sequents for Intuitionistic Modal Logics via Structural Refinement

5 July 2021 by Tim Lyon

Logic in Computer Science, Discrete Mathematics

This is an AI-generated summary

Key points

Topics

Logic in Computer Science Logic Artificial Intelligence Databases Discrete Mathematics Data Structures and Algorithms Multiagent Systems Formal Languages and Automata Theory