A two-dimensional metric temporal logic
Logic
2019-03-15 v1 Logic in Computer Science
Abstract
We introduce a two-dimensional metric (interval) temporal logic whose internal and external time flows are dense linear orderings. We provide a suitable semantics and a sequent calculus with axioms for equality and extralogical axioms. Then we prove completeness and a semantic partial cut-elimination theorem down to formulas of a certain type.
Keywords
Cite
@article{arxiv.1903.05894,
title = {A two-dimensional metric temporal logic},
author = {Stefano Baratella and Andrea Masini},
journal= {arXiv preprint arXiv:1903.05894},
year = {2019}
}