DS-2026-10: Chen, Qian (2026) Lattices of Tense Logics: Tabularity, Completeness and Decidability. Doctoral thesis, Tsinghua University.
Full text not available from this repository.| Item Type: | Thesis (Doctoral) |
|---|---|
| Report Nr: | DS-2026-10 |
| Series Name: | ILLC Dissertation (DS) Series |
| Year: | 2026 |
| Subjects: | Logic Mathematics |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 18 Jun 2026 12:52 |
| Last Modified: | 18 Jun 2026 12:52 |
| URI: | https://eprints.illc.uva.nl/id/eprint/2422 |
Actions (login required)
 |
View Item |
