Geometric modal logic (Q6187419)
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 7787875
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Geometric modal logic |
scientific article; zbMATH DE number 7787875 |
Statements
Geometric modal logic (English)
0 references
15 January 2024
0 references
differential geometry
0 references
higher-order possible worlds
0 references
iterated modalities
0 references
Kripke modal semantics
0 references
propositional modal logic
0 references
Riemannian geometry
0 references
0.8314712643623352
0 references
0.7850006222724915
0 references
0.7722498774528503
0 references
0.772121012210846
0 references
0.7663365602493286
0 references
