COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS

DOI10.1017/S1755020317000259MaRDI QIDQ5241231

Wesley H. Holliday, Tadeusz Litak

Publication date: 30 October 2019

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1809.07542

zbMATH Keywords

modal logic; provability logic; incompleteness; Boolean algebras with operators; conservativity; completely additive operators; Blok dichotomy

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B25: Decidability of theories and sets of sentences

03B44: Temporal logic

06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.)

03F45: Provability logics and related algebras (e.g., diagonalizable algebras)

Uses Software

• SQEMA