On some \(U,S\)-tense logics

DOI10.1007/BF00247911zbMath0648.03010OpenAlexW2073945756MaRDI QIDQ1104920

S. H. Smith

Publication date: 1988

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00247911

zbMATH Keywords

completenessexpressibility of U,S- tense languagenonlinear timeU,S-tense logics

Mathematics Subject Classification ID

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

Related Items (9)

Телеология и целенаправленное поведение: логический анализ ⋮ Системы временной логики I: моменты, истории, деревья ⋮ A distinguishable model theorem for the minimal \(\text{US}\)-tense logic ⋮ Tracking and managing deemed abilities ⋮ An axiomatization for until and since over the reals without the IRR rule ⋮ Duality and completeness for US-logics ⋮ Combining temporal logic systems ⋮ Axiomatising first-order temporal logic: Until and since over linear time ⋮ Adding a temporal dimension to a logic system

This page was built for publication: On some \(U,S\)-tense logics