Reichenbach, Prior and hybrid tense logic

DOI10.1007/s11229-015-0920-0zbMath1367.03012OpenAlexW2186007376MaRDI QIDQ516424

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-0920-0

zbMATH Keywords

hybrid logicHans ReichenbachArthur Priorpoint of reference

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Temporal logic (03B44)

Related Items (2)

Towards World Identification in Description Logics ⋮ From \textit{counterfactual} conditionals to \textit{temporal} conditionals

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completeness in hybrid type theory
• Arthur Prior and hybrid logic
• Hybridizing concept languages
• Modal logic with names
• Temporal logic. From ancient ideas to artificial intelligence
• Hybrid languages and temporal logic
• The computational complexity of hybrid temporal logics
• An approach to tense logic¹

This page was built for publication: Reichenbach, Prior and hybrid tense logic