Completeness of \(\mathrm S4\) for the Lebesgue measure algebra (Q427238): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The author shows that the modal logic S4 is complete with respect to the Lebesgue measure algebra \(\mathcal M\), which is the quotient of the Lebesgue-measurable subsets of the unit interval by the ideal of subsets of Lebesgue measure zero. This is done by translating refutations on the infinite binary tree \(T_2\) to refutations on \(\mathcal M\), and using the well-known completeness of S4 with respect to \(T_2\). This result has also been independently obtained by \textit{D. Fernández-Duque} [in: Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24--27, 2010. London: College Publications. 100--119 (2010; Zbl 1254.03031)]. | |||
Property / review text: The author shows that the modal logic S4 is complete with respect to the Lebesgue measure algebra \(\mathcal M\), which is the quotient of the Lebesgue-measurable subsets of the unit interval by the ideal of subsets of Lebesgue measure zero. This is done by translating refutations on the infinite binary tree \(T_2\) to refutations on \(\mathcal M\), and using the well-known completeness of S4 with respect to \(T_2\). This result has also been independently obtained by \textit{D. Fernández-Duque} [in: Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24--27, 2010. London: College Publications. 100--119 (2010; Zbl 1254.03031)]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Guram Bezhanishvili / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 28A60 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6046101 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
measure algebra | |||
Property / zbMATH Keywords: measure algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
topological modal logic | |||
Property / zbMATH Keywords: topological modal logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
topological semantics | |||
Property / zbMATH Keywords: topological semantics / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
S4 | |||
Property / zbMATH Keywords: S4 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
completeness | |||
Property / zbMATH Keywords: completeness / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
modal logic | |||
Property / zbMATH Keywords: modal logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
probabilistic semantics | |||
Property / zbMATH Keywords: probabilistic semantics / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10992-010-9161-3 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2049989560 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completeness of S4 with respect to the real line: revisited / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The representation of monadic Boolean algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic topological logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The algebra of topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2703802 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homeomorphic Measures in Metric Spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5734410 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 08:54, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Completeness of \(\mathrm S4\) for the Lebesgue measure algebra |
scientific article |
Statements
Completeness of \(\mathrm S4\) for the Lebesgue measure algebra (English)
0 references
13 June 2012
0 references
The author shows that the modal logic S4 is complete with respect to the Lebesgue measure algebra \(\mathcal M\), which is the quotient of the Lebesgue-measurable subsets of the unit interval by the ideal of subsets of Lebesgue measure zero. This is done by translating refutations on the infinite binary tree \(T_2\) to refutations on \(\mathcal M\), and using the well-known completeness of S4 with respect to \(T_2\). This result has also been independently obtained by \textit{D. Fernández-Duque} [in: Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24--27, 2010. London: College Publications. 100--119 (2010; Zbl 1254.03031)].
0 references
measure algebra
0 references
topological modal logic
0 references
topological semantics
0 references
S4
0 references
completeness
0 references
modal logic
0 references
probabilistic semantics
0 references