On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics
Citation
Gore, R, Postniece, L & Tiu, A 2011, 'On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics', Logical Methods in Computer Science, vol. 7, no. 2, p. 38.Year
2011Field of Research
- Computational Logic And Formal Languages