First order \(S4\) and its measure-theoretic semantics

DOI10.1016/J.APAL.2014.10.002zbMath1369.03104OpenAlexW1996784100MaRDI QIDQ476117

Tamar Lando

Publication date: 28 November 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2014.10.002

zbMATH Keywords

modal logicmeasure algebracompletenessquantified modal logictopological semantics\(\mathrm{FOS}4\)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Measures on Boolean rings, measure algebras (28A60) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA ⋮ QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completeness of \(\mathrm S4\) for the Lebesgue measure algebra
• Dynamic measure logic
• The algebra of topology
• QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE

This page was built for publication: First order \(S4\) and its measure-theoretic semantics