Abstract:We study the completeness problem for propositionally quantified modal logics on quantifiable general frames, where the admissible sets are the propositions the quantifiers can range over and expressible sets of worlds are admissible, and Kripke frames, where the quantifiers range over all sets of worlds. We show that any normal propositionally quantified modal logic containing all instances of the Barcan scheme is strongly complete with respect to the class of quantifiable general frames validating it. We also provide a sufficient condition for the truth of all formulas, possibly with quantifiers, to be preserved under passing from a quantifiable general frame to its underlying Kripke frame. This is reminiscent of both the idea of elementary submodel in model theory and the persistence concepts in propositional modal logic. The key to this condition is the concept of finite diversity (Fritz 2023), and with it, we show that if $\Theta$ is a set of Sahlqvist formulas whose class of Kripke frames has finite diversity, then the smallest normal propositionally quantified modal logic containing $\Theta$, Barcan, a formula stating the existence of world propositions, and a formula stating the definability of successor sets, is Kripke complete. As a special case, we have a simple finite axiomatization of the logic of Euclidean Kripke frames.

The finite frame property of some extensions of the pure logic of necessitation

Arithmetical completeness for some extensions of the pure logic of necessitation

COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES

The provability logic of all provability predicates

A First-Order Logic with Frames

Some General Completeness Results for Propositionally Quantified Modal Logics

Visser frames for sublogics of $\mathbf{IL}$

The Finite Model Property of Some Non-normal Modal Logics with the Transitivity Axiom

Constructive S4 modal logics with the finite birelational frame property

Degrees of the finite model property: the antidichotomy theorem

Paraconsistent Gödel modal logic on bi-relational frames

Finite model property of pretransitive analogues of (w)K4 and GL

Filtrations for $\mathbb{wK4}$ and its relatives

Logics of Essence and Accident

Forcing, Transition Algebras, and Calculi

A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic

The Logics of Individual Medvedev Frames

Infinitary cut-elimination via finite approximations (extended version)

On inclusions between quantified provability logics

Modal Logic with "Most"

A Theory of Necessities