A distinguishable model theorem for the minimal \(\text{US}\)-tense logic

DOI10.1305/NDJFL/1040136918zbMath0843.03007OpenAlexW2023212441MaRDI QIDQ1913633

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)

Related Items (2)

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

Cites Work

• On some \(U,S\)-tense logics
• Unnamed Item

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