Ramanayake, Revantha
- Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
2025/03/17 by Borzechowski, Manfred, Gattinger, Malvin, Hansen, Helle Hvid +3 · 3 citations
#03B70 #F.3.1 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)