Get started
Author

Tim S. Lyon

Observed names: Lyon, Tim, Lyon, Tim S., Tim Lyon, Timothy S. Lyon
ORCID: 0000-0003-3214-0828
Observed ORCID: 0000-0003-3214-0828
OpenAlex ID: A5045993299
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents
2019 · Lyon, Tim, Tiu, Alwen, et al. · arXiv (Cornell University) · 14
PDF
From Display to Labelled Proofs for Tense Logics
2017 · Agata Ciabattoni, Tim Lyon, et al. · Lecture notes in computer science · 14
On the correspondence between nested calculi and semantic systems for intuitionistic logics
2020 · Tim Lyon · Journal of Logic and Computation · 12
PDF
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics
2019 · Lyon, Tim, van Berkel, Kees · PhilPapers (PhilPapers Foundation) · 10
PDF
Refining Labelled Systems for Modal and Constructive Logics with Applications
2021 · Lyon, Tim S. · arXiv (Cornell University) · 7
PDF
A Neutral Temporal Deontic STIT Logic
2019 · Kees van Berkel, Tim Lyon · Lecture notes in computer science · 7
PDF
Cut-free Calculi and Relational Semantics for Temporal STIT Logics
2019 · Lyon, Tim, van Berkel, Kees · PhilPapers (PhilPapers Foundation) · 7
PDF
Display to Labeled Proofs and Back Again for Tense Logics
2021 · Ciabattoni, Agata, Lyon, Tim, et al. · PhilPapers (PhilPapers Foundation) · 6
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement
2021 · Lyon, Tim · PhilPapers (PhilPapers Foundation) · 6
The Varieties of Ought-Implies-Can and Deontic STIT Logic
2026 · van Berkel, Kees, Lyon, Tim S. · arXiv (Cornell University) · 4
PDF
Automating Reasoning with Standpoint Logic via Nested Sequents
2022 · Tim S. Lyon, Lucía Gómez Álvarez · 4
PDF
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems
2013 · Lyon, Tim · PhilPapers (PhilPapers Foundation) · 4
PDF
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying
2022 · Feller, Thomas, Lyon, Tim S., et al. · arXiv (Cornell University) · 3
PDF
The Basics of Display Calculi
2017 · Tim Lyon, Christian Ittner, et al. · Kriterion – Journal of Philosophy · 3
PDF
Proof Theory and Decision Procedures for Deontic STIT Logics
2024 · Tim S. Lyon, Kees Van Berkel · Journal of Artificial Intelligence Research · 2
PDF
Standpoint Linear Temporal Logic
2023 · Nicola Gigante, Lucía Gómez Álvarez, et al. · 2
PDF
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules
2023 · Tim S. Lyon, Piotr Ostropolski-Nalewaja · 2
PDF
Nested sequents for intermediate logics: the case of Gödel-Dummett logics
2023 · Tim S. Lyon · Journal of Applied Non-Classical Logics · 2
PDF
Nested Sequents for Quantified Modal Logics
2023 · Tim S. Lyon, Eugenio Orlandelli · Lecture notes in computer science · 2
PDF
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms
2020 · Kees van Berkel, Tim Lyon, et al. · Lecture notes in computer science · 2
PDF
Foundations for an Abstract Proof Theory in the Context of Horn Rules
2026 · Tim S. Lyon, Piotr Ostropolski-Nalewaja · ACM Transactions on Computational Logic · 1
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
2025 · Tim S. Lyon, Agata Ciabattoni, et al. · Bulletin of the Section of Logic · 1
PDF
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
2024 · Lyon, Tim S., Shillito, Ian, et al. · arXiv (Cornell University) · 1
PDF
A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations
2023 · Kees van Berkel, Tim S. Lyon, et al. · Journal of Philosophical Logic · 1
PDF
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
2023 · Tim S. Lyon, Sebastian Rudolph · Lecture notes in computer science · 1
PDF
Works count: 45
Citation count: 120
H-index: 7
I10-index: 4
Year
Topic
Type