A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain

• 作者Franco Montagna; G. Michele Pinna; Elisa B. P. Tiezzi
• 卷第46卷
• 期第2期
• 印刷ISSN0942-5616
• 电子ISSN1521-3870
• 文件大小250.06KB
• 发表时间2000
• DOI10.1002/(sici)1521-3870(200005)46:2<171::aid-malq171>3.0.co;2-e
• 页码171-182