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.
A two-dimensional metric temporal logic / Baratella, Stefano; Masini, Andrea. - In: MATHEMATICAL LOGIC QUARTERLY. - ISSN 1521-3870. - ELETTRONICO. - 2020/66:1(2020), pp. 7-19. [10.1002/malq.201700036]
A two-dimensional metric temporal logic
Baratella, Stefano;Masini, Andrea
2020-01-01
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
MTL2-180830.pdf
accesso aperto
Descrizione: Articolo principale
Tipologia:
Pre-print non referato (Non-refereed preprint)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
416.01 kB
Formato
Adobe PDF
|
416.01 kB | Adobe PDF | Visualizza/Apri |
|
malq.201700036.pdf
accesso aperto
Tipologia:
Versione editoriale (Publisher’s layout)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
256.38 kB
Formato
Adobe PDF
|
256.38 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
