« Everywhere » and « here » (Q4531583)
From MaRDI portal
scientific article; zbMATH DE number 1744202
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
