Barcan formula

Known as: Converse Barcan formula

In quantified modal logic, the Barcan formula and the converse Barcan formula (more accurately, schemata rather than formulas) (i) syntactically…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

In this article we present a number of axiomatic theories of truth which are conservative extensions of arithmetic. We isolate a…

2015

This paper presents structural similarities and historical connections between Prior’s rejection of the Barcan formula and his…

2015

The revolution in semantics in the late 1960s and 1970s overturned an earlier competing paradigm, ‘translational’ semantics. I…

2013

Presentism is the doctrine that, necessarily, only presently existing things exist. Past things and states of affairs, according…

2006

It has been argued by Bernard Linsky and Edward Zalta, and independently by Timothy Williamson, that the best quantified modal…

2006

than fictions. Whereas fictional individuals encode ordinary properties, mathematical individuals encode abstract properties. 23…

1996

This paper compares two ways of formalising defeasible deontic reasoning, both based on the view that the issues of conflicting…

1995

A (normal) system of prepositional modal logic is said to be complete iff it is characterized by a class of (Kripke) frames. When…

1988

We present a general proof method for normal systems of modal predicate logic with identical inference rules for each such logic…

1972

Forswearing venerable doctrine, some now claim that the truth-value of a statement A, and — more generally — that of a theory T…