Prior, translational semantics, and the Barcan formula

DOI10.1007/S11229-015-0955-2MaRDI QIDQ516404zbMATHOpenAlexFDO

Authors B. Jack Copeland

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-0955-2

zbMATH Keywords

Barcan formulaDavidsonian semanticsmodal semanticsPriorsubstitutional quantifierstense logical semantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 3887652
• Prior, Berkeley, and the Barcan formula
• Prior and possibly not existing
• Prior on the semantics of modal and tense logic
• scientific article; zbMATH DE number 698631

Cites work

• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 3784839 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• A Functional calculus of first order based on strict implication
• General semantics
• Meredith, Prior, and the history of possible worlds semantics
• Modal Logic as Metaphysics
• On McKinsey's syntactical characterizations of systems of modal logic
• On a family of paradoxes
• On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
• Prior on the semantics of modal and tense logic
• Substitutional Quantification and Existence
• The genesis of possible worlds semantics

Cited in

(2)

• Arthur N. Prior on ‘Unquestionably the Best Logical Symbolism for Most Purposes’
• Prior, Berkeley, and the Barcan formula

This page was built for publication: Prior, translational semantics, and the Barcan formula

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