Completeness by construction for tense logics of linear time
| Authors |
|
|---|---|
| Publication date | 2004 |
| Host editors |
|
| Book title | Vriendenboek ofwel Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh |
| ISBN |
|
| Number of pages | 14 |
| Publisher | Amsterdam: Institute for Logic, Language and Computation |
| Organisations |
|
| Document type | Chapter |
| Permalink to this page | |
