Completeness of \(\mathrm S4\) for the Lebesgue measure algebra (Q427238): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
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 |
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