« Everywhere » and « here » (Q4531583)
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 1744202
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | « Everywhere » and « here » |
scientific article; zbMATH DE number 1744202 |
Statements
« Everywhere » and « here » (English)
0 references
25 September 2002
0 references
modal logic
0 references
neighbourhood semantics
0 references
universal modality
0 references
topological frame
0 references
bimodal logic
0 references
local truth
0 references
universal truth
0 references
finite model property
0 references
0.7440451979637146
0 references
0.7429929375648499
0 references
0.7403168678283691
0 references
0.7289062738418579
0 references
0.726905345916748
0 references
