Follow
Tim Lyon
Title
Cited by
Cited by
Year
Syntactic interpolation for tense logics and bi-intuitionistic logic via nested sequents
T Lyon, A Tiu, R Goré, R Clouston
arXiv preprint arXiv:1910.05215, 2019
272019
Automating agential reasoning: Proof-calculi and syntactic decidability for stit logics
T Lyon, K van Berkel
International conference on principles and practice of multi-agent systems …, 2019
192019
Nested sequents for intuitionistic modal logics via structural refinement
TS Lyon
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
182021
Refining labelled systems for modal and constructive logics with applications
T Lyon
arXiv preprint arXiv:2107.14487, 2021
172021
On the correspondence between nested calculi and semantic systems for intuitionistic logics
T Lyon
Journal of Logic and Computation 31 (1), 213-265, 2021
162021
Display to labeled proofs and back again for tense logics
A Ciabattoni, TS Lyon, R Ramanayake, A Tiu
ACM Transactions on Computational Logic (TOCL) 22 (3), 1-31, 2021
132021
From display to labelled proofs for tense logics
A Ciabattoni, T Lyon, R Ramanayake
International Symposium on Logical Foundations of Computer Science, 120-139, 2017
132017
Cut-free calculi and relational semantics for temporal stit logics
K van Berkel, T Lyon
European Conference on Logics in Artificial Intelligence, 803-819, 2019
112019
Automating reasoning with standpoint logic via nested sequents
TS Lyon, LG Álvarez
arXiv preprint arXiv:2205.02749, 2022
82022
The varieties of ought-implies-can and deontic stit logic
K van Berkel, T Lyon
82013
Finite-cliquewidth sets of existential rules: Toward a general criterion for decidable yet highly expressive querying
T Feller, TS Lyon, P Ostropolski-Nalewaja, S Rudolph
arXiv preprint arXiv:2209.02464, 2022
62022
On deriving nested calculi for intuitionistic logics from semantic systems
T Lyon
Logical Foundations of Computer Science: International Symposium, LFCS 2020 …, 2020
52020
Connecting proof theory and knowledge representation: Sequent calculi and the chase with existential rules
TS Lyon, P Ostropolski-Nalewaja
arXiv preprint arXiv:2306.02521, 2023
42023
A neutral temporal deontic stit logic
K van Berkel, T Lyon
International Workshop on Logic, Rationality and Interaction, 340-354, 2019
42019
A decidable multi-agent logic for reasoning about actions, instruments, and norms
K van Berkel, T Lyon, F Olivieri
International conference on logic and argumentation, 219-241, 2020
32020
Standpoint linear temporal logic
N Gigante, TS Lyon
arXiv preprint arXiv:2304.14243, 2023
22023
Decidability of querying first-order theories via countermodels of finite width
T Feller, TS Lyon, P Ostropolski-Nalewaja, S Rudolph
arXiv preprint arXiv:2304.06348, 2023
22023
Nested Sequents for First-Order Modal Logics via Reachability Rules
TS Lyon
arXiv preprint arXiv:2210.00789, 2022
22022
Syntactic cut-elimination for intuitionistic fuzzy logic via linear nested sequents
T Lyon
International Symposium on Logical Foundations of Computer Science, 156-176, 2019
22019
The basics of display calculi
T Lyon, C Ittner, T Eckhardt, N Gratzl
Kriterion–Journal of Philosophy 31 (2), 55-100, 2017
22017
The system can't perform the operation now. Try again later.
Articles 1–20