A distinguishable model theorem for the minimal US-tense logic

DOI10.1305/NDJFL/1040136918zbMATH Open0843.03007OpenAlexW2023212441MaRDI QIDQ1913633FDOQ1913633

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

Recommendations

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

zbMATH Keywords

Kripke modelsdistinguishable model theoremternary relations of betweennessUS-tense logic

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• 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)