Eckhardt, Timo

1. Base-extension Semantics for Modal Logic
   2024/01/24 by Timo Eckhardt, David Pym, Eckhardt, Timo +1 · 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 #Semantic Web and Ontologies
2. Base-extension Semantics for S5 Modal Logic
   2024/03/28 by Eckhardt, Timo, Pym, David · 1 citation
   #FOS: Mathematics #Logic (math.LO)