Prior, translational semantics, and the Barcan formula

DOI10.1007/S11229-015-0955-2zbMATH Open1360.03023OpenAlexW2301858824MaRDI QIDQ516404FDOQ516404

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

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

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)

Cites Work

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

Cited In (1)

• Arthur N. Prior on ‘Unquestionably the Best Logical Symbolism for Most Purposes’

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)