Axioms for tense logic. I: 'Since' and 'until'
type: Item
instance of: scholarly article
title: Axioms for tense logic. I: 'Since' and 'until'
zbMATH Open document ID: 0452.03021
author: John P. Burgess
published in: Notre Dame Journal of Formal Logic
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 3706421
zbMATH Keywords: tense logic
zbMATH Keywords: axiomatization
zbMATH Keywords: linear orders
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093870149
OpenAlex ID: W2008960163
Wikidata QID: Q114598300
DOI: 10.1305/NDJFL/1093870149
description: scientific article; zbMATH DE number 3706421