| Original language | English |
|---|---|
| Title of host publication | Advances in Modal Logic |
| Pages | 127-48 |
| Publication status | Published - 2003 |
A sound and complete proof system for QPTL
Research output: Chapter in Book/Conference paper › Conference paper
Research output: Chapter in Book/Conference paper › Conference paper
| Original language | English |
|---|---|
| Title of host publication | Advances in Modal Logic |
| Pages | 127-48 |
| Publication status | Published - 2003 |