Arthur Prior and `now'

DOI10.1007/S11229-015-0921-ZMaRDI QIDQ516423zbMATH OpenOpenAlexFDO

Authors Patrick Blackburn, Klaus Frovin Jørgensen

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-0921-z

zbMATH Keywords

Arthur PriorHans Kamphybrid logicnowtwo-dimensional logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Temporal logic (03B44) Modal logic (including the logic of norms) (03B45)

Recommendations

• Arthur Prior and hybrid logic
• Reichenbach, Prior and hybrid tense logic
• Tense and temporal reference hybrid temporal logic
• Arthur Prior and medieval logic
• Prior's paradigm for the study of time and its methodological motivation

Cites work

• Arthur Prior and hybrid logic
• Hybrid languages
• Indexical hybrid tense logic
• Modal logic with functorial variables and a contingent constant
• Modal logic with names
• Remarks on Gregory's ``actually operator
• To the memory of Arthur Prior Formal properties of ‘now’
• Using the Universal Modality: Gains and Questions

Cited in

(11)

• Computational complexity of hybrid interval temporal logics
• `Now' and `then' in tense logic
• Arthur Prior and medieval logic
• scientific article; zbMATH DE number 1222481 (Why is no real title available?)
• Prior's paradigm for the study of time and its methodological motivation
• Reichenbach, Prior and hybrid tense logic
• Where have all the Californian tense-logicians gone?
• Towards World Identification in Description Logics
• Preface
• On temporal references via definite descriptions in first-order monadic logic of order
• Arthur Prior and hybrid logic

This page was built for publication: Arthur Prior and `now'

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q516423)