Articles with public access mandates - Tim LyonLearn more
Available somewhere: 15
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
Mandates: Austrian Science Fund
Nested sequents for intuitionistic modal logics via structural refinement
TS Lyon
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
Mandates: European Commission
On the correspondence between nested calculi and semantic systems for intuitionistic logics
T Lyon
Journal of Logic and Computation 31 (1), 213-265, 2021
Mandates: Austrian Science Fund
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
Mandates: Austrian Science Fund
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
Mandates: Austrian Science Fund, European Commission
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
Mandates: Austrian Science Fund
The varieties of ought-implies-can and deontic stit logic
K van Berkel, T Lyon
Mandates: Austrian Science Fund
A neutral temporal deontic stit logic
K van Berkel, T Lyon
International Workshop on Logic, Rationality and Interaction, 340-354, 2019
Mandates: Austrian Science Fund
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
Mandates: Austrian Science Fund
On deriving nested calculi for intuitionistic logics from semantic systems
T Lyon
Logical Foundations of Computer Science: International Symposium, LFCS 2020 …, 2020
Mandates: Austrian Science Fund
Syntactic cut-elimination for intuitionistic fuzzy logic via linear nested sequents
T Lyon
International Symposium on Logical Foundations of Computer Science, 156-176, 2019
Mandates: Austrian Science Fund
Nested sequents for intermediate logics: the case of Gödel-Dummett logics
TS Lyon
Journal of Applied Non-Classical Logics 33 (2), 121-164, 2023
Mandates: European Commission
A Framework for Intuitionistic Grammar Logics
TS Lyon
International Conference on Logic and Argumentation, 495-503, 2021
Mandates: European Commission
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations
K van Berkel, TS Lyon, M Pascucci
Journal of Philosophical Logic 52 (5), 1475-1516, 2023
Mandates: Austrian Science Fund, European Commission
Cut-free Calculi and Relational Semantics for Temporal STIT Logics
T Lyon, K van Berkel
Mandates: Austrian Science Fund
Publication and funding information is determined automatically by a computer program