First order S4 and its measure-theoretic semantics

DOI10.1016/J.APAL.2014.10.002MaRDI QIDQ476117zbMATH OpenOpenAlexFDO

Authors 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

\(\mathrm{FOS}4\)completenessmeasure algebramodal logicquantified modal logictopological semantics

Mathematics Subject Classification ID

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

Recommendations

• Completeness of S4 for the Lebesgue measure algebra
• Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics
• Dynamic measure logic
• LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA
• scientific article; zbMATH DE number 6302891

Cites work

• Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics
• Completeness of S4 for the Lebesgue measure algebra
• Dynamic measure logic
• scientific article; zbMATH DE number 6302891 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Quantified modal logic on the rational line
• Strong completeness of S4 for any dense-in-itself metric space
• The algebra of topology
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC

Cited in

(6)

• Propositional quantification in the topological semantics for S4
• Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics
• Completeness of S4 for the Lebesgue measure algebra
• Quantified intuitionistic logic over metrizable spaces
• LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA
• A model theory of topology

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

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