Temporal reference in linear tense logic

DOI10.1007/s10992-009-9122-xzbMath1202.03032OpenAlexW1978121847WikidataQ56852792 ScholiaQ56852792MaRDI QIDQ965860

M. J. Cresswell

Publication date: 26 April 2010

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

Full work available at URL: https://doi.org/10.1007/s10992-009-9122-x

zbMATH Keywords

modal predicate logictemporal reference`now' and `then'predicate tense logic

Mathematics Subject Classification ID

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

Related Items

From \textit{counterfactual} conditionals to \textit{temporal} conditionals, Axiomatising the Prior future in predicate logic, Predicate metric tense logic for `now' and `then'

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nominal tense logic
• Counterfactuals and comparative possibility
• Modal logic for other-world agnostics: Neutrality and Halldén incompleteness
• Physicalism, instrumentalism and the semantics of modal logic
• Quantifiers as modal operators
• Necessity and truth theories
• Modal logic with names
• Multi-dimensional modal logic
• Hierarchies of modal and temporal logics with reference pointers
• `Now' and `then' in tense logic
• Modal logic with subjunctive conditionals and dispositional predicates
• Modality and Mellor's McTaggart
• To the memory of Arthur Prior Formal properties of ‘now’
• Two-dimensional modal logic
• Naming worlds in modal and temporal logic