Skip navigation
The Australian National University

Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic

Citation

Gore, R, Postniece, L & Tiu, A 2010, 'Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic', Advances in Modal Logic (AiML 2010), ed. Lev Beklemishev et al, College Publications, , pp. 156-177.

Year

2010

Field of Research

  • Computational Logic And Formal Languages

Updated:  20 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers