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

2011

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  17 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers