Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics (Q2904049)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6063260
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics |
scientific article; zbMATH DE number 6063260 |
Statements
5 August 2012
0 references
modal logic
0 references
topological semantics
0 references
measure algebra
0 references
interior operator
0 references
completeness
0 references
measure-theoretic semantics
0 references
0.89104223
0 references
0.88026744
0 references
0.8732353
0 references
0.84835243
0 references
0.84806204
0 references
0.8406233
0 references
0.83802265
0 references
0.8374707
0 references
Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics (English)
0 references
