A conjectured axiomatization of two-dimensional Reichenbachian tense logic

DOI10.1007/BF00258418zbMath0407.03024OpenAlexW2123037842MaRDI QIDQ1257887

Lennart Åqvist

Publication date: 1979

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

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

zbMATH Keywords

two-dimensional Reichenbachian tense Logic

Mathematics Subject Classification ID

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

Related Items (3)

Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization ⋮ On squares of modal logics with additional connectives ⋮ Combining temporal logic systems

This page was built for publication: A conjectured axiomatization of two-dimensional Reichenbachian tense logic