In Honor of Ryszard Wójcicki on the Occasion of his 80th Birthday || Synchronized Linear-Time Temporal Logic
- 期刊名称Studia Logica: An International Journal for Symbolic Logic
- 作者Heinrich Wansing and Norihiro Kamide
- 卷第99卷
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小1499.75KB
- 发表时间2011-101112
- DOI10.2307/41475209
- 页码365-388