%0 Conference Paper %1 conf/aiml/FrenchR02 %A French, Tim %A Reynolds, Mark %B Advances in Modal Logic %D 2002 %E Balbiani, Philippe %E Suzuki, Nobu-Yuki %E Wolter, Frank %E Zakharyaschev, Michael %I King's College Publications %K dblp %P 127-148 %T A Sound and Complete Proof System for QPTL. %U http://dblp.uni-trier.de/db/conf/aiml/aiml2002.html#FrenchR02 %@ 0-9543006-2-9

@inproceedings{conf/aiml/FrenchR02, added-at = {2024-01-17T00:00:00.000+0100}, author = {French, Tim and Reynolds, Mark}, biburl = {https://www.bibsonomy.org/bibtex/21f9e8790fb23a38648796b166690b46f/dblp}, booktitle = {Advances in Modal Logic}, crossref = {conf/aiml/2002}, editor = {Balbiani, Philippe and Suzuki, Nobu-Yuki and Wolter, Frank and Zakharyaschev, Michael}, ee = {http://www.aiml.net/volumes/volume4/French-Reynolds.ps}, interhash = {00ab779943c47463012d14ccee5623a0}, intrahash = {1f9e8790fb23a38648796b166690b46f}, isbn = {0-9543006-2-9}, keywords = {dblp}, pages = {127-148}, publisher = {King's College Publications}, timestamp = {2024-04-09T20:03:23.000+0200}, title = {A Sound and Complete Proof System for QPTL.}, url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2002.html#FrenchR02}, year = 2002 }