On Hamblin's 15 Tense Theorem

DOI10.3166/jancl.20.63-80zbMath1242.03045OpenAlexW2013004231MaRDI QIDQ2901190

Manfred Kudlek

Publication date: 17 July 2012

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.20.63-80

zbMATH Keywords

temporal logicstense

Mathematics Subject Classification ID

Temporal logic (03B44)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
• Modal frame correspondences and fixed-points
• Normal forms in modal logic
• Modal Logics Between S 4 and S 5
• On the syntactical construction of systems of modal logic

This page was built for publication: On Hamblin's 15 Tense Theorem