Axiomatising the Prior future in predicate logic

DOI10.1007/s11787-012-0073-6zbMath1272.03089OpenAlexW2031478145MaRDI QIDQ1945707

M. J. Cresswell

Publication date: 8 April 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-012-0073-6

zbMATH Keywords

modal logictense logicPriorhistorical necessity

Mathematics Subject Classification ID

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

Cites Work

• Temporal reference in linear tense logic
• A finite axiomatization of the set of strongly valid Ockhamist formulas
• Combinations of tense and modality for predicate logic
• T \(\times\) W completeness
• A two dimensional tense-modal sortal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Axiomatising the Prior future in predicate logic