Prior on the semantics of modal and tense logic

DOI10.1007/S11229-015-0949-0zbMath1396.03030OpenAlexW2180702151MaRDI QIDQ516414

M. J. Cresswell

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

zbMATH Keywords

modal logictense logicmetalogicArthur Priorindexical metalanguages

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 (1)

Prior, translational semantics, and the Barcan formula

Cites Work

• Modality and quantification in S5
• The completeness of the first-order functional calculus
• A Functional calculus of first order based on strict implication
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Prior on the semantics of modal and tense logic