A sound and complete proof system for QPTL

Research output: Chapter in Book/Conference paperConference paper

Original languageEnglish
Title of host publicationAdvances in Modal Logic
Pages127-48
Publication statusPublished - 2003

Cite this