We introduce a two-dimensional metric (interval) temporal logic whose inter- nal 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.
Titolo: | A two-dimensional metric temporal logic | |
Autori: | ||
Data di pubblicazione: | 2019 | |
Rivista: | ||
Abstract: | We introduce a two-dimensional metric (interval) temporal logic whose inter- nal 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. | |
Handle: | http://hdl.handle.net/11562/992602 | |
Appare nelle tipologie: | 01.01 Articolo in Rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.