Skip navigation
The Australian National University

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:  19 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers