Taming displayed tense logics using nested sequents with deep inference

Citation

Gore, R, Postniece, L & Tiu, A 2009, 'Taming displayed tense logics using nested sequents with deep inference', International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2009), ed. Conference Program Committee, Springer, Oslo, Norway, pp. 189-204.

Year

2009

Fields of Research

  • Mathematical Logic, Set Theory, Lattices And Universal Algebra
  • Computational Logic And Formal Languages

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