Prior, translational semantics, and the Barcan formula

DOI10.1007/s11229-015-0955-2zbMath1360.03023OpenAlexW2301858824MaRDI QIDQ516404

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

modal semanticsBarcan formulaDavidsonian semanticsPriorsubstitutional quantifierstense logical semantics

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Meredith, Prior, and the history of possible worlds semantics
• On a family of paradoxes
• The genesis of possible worlds semantics
• General semantics
• Substitutional Quantification and Existence
• Modal Logic as Metaphysics
• On McKinsey's syntactical characterizations of systems of modal logic
• A Functional calculus of first order based on strict implication

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