Solving Prior's problem with a Priorean tool

DOI10.1007/S11229-015-0931-XzbMath1360.03043OpenAlexW2228796958MaRDI QIDQ516412

Martin Pleitz

Publication date: 14 March 2017

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-015-0931-x

zbMATH Keywords

reductionhybrid logictense logicArthur Priorphilosophy of timemetric logicperspectivism

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Temporal logic (03B44)

Cites Work

• Arthur Prior and hybrid logic
• Two-sorted metric temporal logics
• Predicate metric tense logic for `now' and `then'
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Solving Prior's problem with a Priorean tool