Arthur Prior and `now'

DOI10.1007/S11229-015-0921-ZzbMath1396.03025OpenAlexW2185930340MaRDI QIDQ516423

Klaus Frovin Jørgensen, Patrick Blackburn

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

hybrid logicArthur PriorHans Kampnowtwo-dimensional logic

Mathematics Subject Classification ID

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

Related Items (2)

Towards World Identification in Description Logics ⋮ Computational complexity of hybrid interval temporal logics

Cites Work

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

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