A Sound and Complete Proof System for QPTL

Research output: Chapter in Book/Conference paper › Chapter › peer-review

Original language	English
Title of host publication	Advances in Modal Logic
Editors	Phillipe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
Place of Publication	UK
Publisher	King's College Publications
Pages	127-148
Volume	4
ISBN (Print)	0954300610
Publication status	Published - 2003

Cite this

@inbook{e21f1bac79c4457ab50a2abe94bbf1eb,

title = "A Sound and Complete Proof System for QPTL",

author = "Tim French and M. Reynolds",

year = "2003",

language = "English",

isbn = "0954300610",

volume = "4",

pages = "127--148",

editor = "Phillipe Balbiani and Nobu-Yuki Suzuki and Frank Wolter and Michael Zakharyaschev",

booktitle = "Advances in Modal Logic",

publisher = "King's College Publications",

}