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.

Notes on Proving of (strong) Completeness Theorem of L

A Propositional Calculus Formal Deductive System $\mathcal{L}^{U}$ of Universal Logic and Its Completeness

Predicate Formal System Based on 0-Level Universal and Operator and Its Completeness

Weak Completeness of Resolution in A Linguistic Truth-Valued Propositional Logic

The Properties of a Mix Operator on R_0-algebra and the Completeness of the System L~*

A propositional calculus formal deductive system UL/sub h/spl epsi/(0,1)/ of universal logic

A proof for completeness of Łukasiewicz logic

Proof Theory for Positive Logic with Weak Negation

The Axiomatization For 0-Level Universal Logic

Some General Completeness Results for Propositionally Quantified Modal Logics

Generalized Tautologies Theory of the Basic Formal System of Universal Logic

A propositional calculus formal deductive system ULh∈0,1] of universal logic

On the Weak Completeness of BR_0-algebra

A Class of Strict-t-morms-based Propositional Logic

Intuitive Probability Logic

Completeness in local positive logic

A topological completeness theorem for transfinite provability logic

On the Relative Completeness of Satisfaction-based Quantum Hoare Logic

Completeness for Propositional Logic Programs with Negation

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem

Lewis and Brouwer meet Strong Löb