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

✍ Scribed by Franco Montagna; G. Michele Pinna; Elisa B. P. Tiezzi

• Publisher: John Wiley and Sons
• Year: 2000
• Tongue: English
• Weight: 250 KB
• Volume: 46
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/(sici)1521-3870(200005)46:2<171::aid-malq171>3.0.co;2-e