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

DOI10.1002/(SICI)1521-3870(200005)46:2%3C171::AID-MALQ171%3E3.0.CO;2-EMaRDI QIDQ4487244zbMATH OpenOpenAlexFDO

Authors Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi

Publication date 21 June 2000

Full work available at URL https://doi.org/10.1002/(sici)1521-3870(200005)46:2%3C171::aid-malq171%3E3.0.co;2-e

zbMATH Keywords

metric temporal logiccut-eliminationcut-free proof-system

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

Cited in

(3)

• A two-dimensional metric temporal logic
• Obituary: Franco Montagna (1948--2015)
• On Metric Temporal Łukasiewicz Logic

This page was built for publication: A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4487244)