A distinguishable model theorem for the minimal US-tense logic

DOI10.1305/NDJFL/1040136918MaRDI QIDQ1913633zbMATH OpenOpenAlexFDO

Authors Fabio Bellissima, Anna Bucalo

Publication date 22 May 1996

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1040136918

zbMATH Keywords

Kripke modelsdistinguishable model theoremternary relations of betweennessUS-tense logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Duality and completeness for US-logics
• Finite trees in tense logic
• Separation in nonlinear time models
• On some \(U,S\)-tense logics

Cites work

• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• On some \(U,S\)-tense logics

Cited in

(2)

• Zolin and Pizzi: defining necessity from noncontingency
• Duality and completeness for US-logics

This page was built for publication: A distinguishable model theorem for the minimal \(\text{US}\)-tense logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1913633)