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

DOI<171::AID-MALQ171>3.0.CO;2-E 10.1002/(SICI)1521-3870(200005)46:2<171::AID-MALQ171>3.0.CO;2-EzbMath0951.03017OpenAlexW1982896865MaRDI QIDQ4487244

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

Publication date: 21 June 2000

Full work available at URL: https://doi.org/10.1002/(sici)1521-3870(200005)46:2<171::aid-malq171>3.0.co;2-e

zbMATH Keywords

cut-eliminationmetric temporal logiccut-free proof-system

Mathematics Subject Classification ID

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

Related Items

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