Duality and completeness for US-logics
type: Item
instance of: scholarly article
title: Duality and completeness for US-logics
zbMATH Open document ID: 0968.03021
author: Fabio Bellissima
author: Saverio Cittadini
published in: Notre Dame Journal of Formal Logic
publication date: 2001-07-17T00:00:00Z
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 1620812
zbMATH Keywords: tense logic with since and until
zbMATH Keywords: semantics
zbMATH Keywords: e-models
zbMATH Keywords: completeness theorem
zbMATH Keywords: duality theorem
zbMATH Keywords: US-logics
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.1305/ndjfl/1039293065
OpenAlex ID: W1998659308
cites work: A distinguishable model theorem for the minimal \(\text{US}\)-tense logic
cites work: Q4342093
cites work: Q4128788
cites work: Topology and duality in modal logic
cites work: Semantic analysis of tense logics
cites work: On some \(U,S\)-tense logics
DOI: 10.1305/NDJFL/1039293065
Recommended article: A distinguishable model theorem for the minimal \(\text{US}\)-tense logic
Recommended article: On some \(U,S\)-tense logics
Recommended article: An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
Recommended article: A duality for distributive unimodal logic
Recommended article: Q4833779
description: scientific article; zbMATH DE number 1620812