Display calculi for nominal tense logics


Demri, S, Gore, R & Demri, S 2002, 'Display calculi for nominal tense logics', Journal of Logic and Computation, vol. 12, no. 6, pp. 993-1016.



ANU Authors

Fields of Research

  • Mathematical Logic, Set Theory, Lattices And Universal Algebra
  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

Updated:  10 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers