Absolute completeness of S4_u for its measure-theoretic semantics

MaRDI QIDQ2904049zbMATH OpenFDO

Authors David Fernández-Duque

Publication date 5 August 2012

zbMATH Keywords

completenessinterior operatormeasure algebrameasure-theoretic semanticsmodal logictopological semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Measures on Boolean rings, measure algebras (28A60)

Recommendations

• Completeness of S4 for the Lebesgue measure algebra
• First order \(S4\) and its measure-theoretic semantics
• Topological completeness of logics above \(\mathbf{S4}\)
• scientific article; zbMATH DE number 1303430
• Completeness of second-order propositional S4 and H in topological semantics
• Propositional quantification in the topological semantics for S4
• Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\)
• Graded modalities. III: The completeness and compactness of \(S4^ 0\)
• LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA
• scientific article; zbMATH DE number 1231516

Cited in

(6)

• A sound and complete axiomatization for dynamic topological logic
• Completeness of S4 for the Lebesgue measure algebra
• First order \(S4\) and its measure-theoretic semantics
• LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA
• THE BAIRE CLOSURE AND ITS LOGIC
• Dynamic measure logic

This page was built for publication: Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2904049)