Completeness by construction for tense logics of linear time

Authors
Publication date 2004
Host editors
  • A.S. Troelstra
Book title Vriendenboek ofwel Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh
ISBN
  • 9057761289
  • 9789057761287
Number of pages 14
Publisher Amsterdam: Institute for Logic, Language and Computation
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back