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 › peer-review