Lyon, Tim S.

1. Decidability of Quasi-Dense Modal Logics
   2024/05/16 by Ostropolski-Nalewaja, Piotr, Lyon, Tim S. · 6 citations
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
2. Automating Reasoning with Standpoint Logic via Nested Sequents
   2022/05/05 by Tim S. Lyon, Lyon, Tim S., Lucía Gómez Álvarez +1 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multiagent Systems (cs.MA)
3. Standpoint Linear Temporal Logic
   2023/04/27 by Gigante, Nicola, Alvarez}, Lucia {Gomez, Lyon, Tim S. · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
4. Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
   2024/10/31 by Tim S. Lyon, Lyon, Tim S. · 1 citation
   Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #semigroups and automata theory