The revolution in semantics in the late 1960s and 1970s overturned an earlier competing paradigm, ‘translational’ semantics. I revive and defend Prior’s translational semantics for modals and tense-modals. I also show how to extend Prior’s propositional modal semantics to quantificational modal logic, and use the resulting semantics to formalize Prior’s own counterexample to the Barcan Formula.
CITATION STYLE
Copeland, B. J. (2016). Prior, translational semantics, and the Barcan formula. Synthese, 193(11), 3507–3519. https://doi.org/10.1007/s11229-015-0955-2
Mendeley helps you to discover research relevant for your work.