Predicate metric tense logic for `now' and `then'

DOI10.1007/s10992-011-9209-zzbMath1279.03038OpenAlexW1989802365MaRDI QIDQ1947028

M. J. Cresswell

Publication date: 11 April 2013

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

Full work available at URL: https://doi.org/10.1007/s10992-011-9209-z

zbMATH Keywords

tense logictemporal logicpredicate tense logichybrid tense logicmetric tense logic

Mathematics Subject Classification ID

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

Related Items (1)

Solving Prior's problem with a Priorean tool

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Temporal reference in linear tense logic
• Physicalism, instrumentalism and the semantics of modal logic
• Quantifiers as modal operators
• Necessity and truth theories
• Multi-dimensional modal logic
• Modality and Mellor's McTaggart
• Some Recent Results in Metric Temporal Logic
• Stratified Metric Tense Logic
• To the memory of Arthur Prior Formal properties of ‘now’
• Two-dimensional modal logic

This page was built for publication: Predicate metric tense logic for `now' and `then'