A two‐dimensional metric temporal logic. Issue 1 (26th December 2019)
- Record Type:
- Journal Article
- Title:
- A two‐dimensional metric temporal logic. Issue 1 (26th December 2019)
- Main Title:
- A two‐dimensional metric temporal logic
- Authors:
- Baratella, Stefano
Masini, Andrea - Abstract:
- 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.
- Is Part Of:
- Mathematical logic quarterly. Volume 66:Issue 1(2020)
- Journal:
- Mathematical logic quarterly
- Issue:
- Volume 66:Issue 1(2020)
- Issue Display:
- Volume 66, Issue 1 (2020)
- Year:
- 2020
- Volume:
- 66
- Issue:
- 1
- Issue Sort Value:
- 2020-0066-0001-0000
- Page Start:
- 7
- Page End:
- 19
- Publication Date:
- 2019-12-26
- Subjects:
- Mathematics -- Periodicals
Logic, Symbolic and mathematical -- Periodicals
511.3 - Journal URLs:
- http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1521-3870 ↗
http://onlinelibrary.wiley.com/ ↗ - DOI:
- 10.1002/malq.201700036 ↗
- Languages:
- English
- ISSNs:
- 0942-5616
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 5402.430000
British Library DSC - BLDSS-3PM
British Library STI - ELD Digital store - Ingest File:
- 13234.xml