A logic for reasoning about generic judgments

Citation

Tiu, A 2007, 'A logic for reasoning about generic judgments', Electronic Notes in Theoretical Computer Science, vol. 174, no. 5, pp. 3-18.

Year

2007

ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

Updated:  19 April 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers