On non-compact logics in NEXT(KTB) (Q3545214)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On non-compact logics in NEXT(KTB) |
scientific article; zbMATH DE number 5380037
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On non-compact logics in NEXT(KTB) |
scientific article; zbMATH DE number 5380037 |
Statements
On non-compact logics in NEXT(KTB) (English)
0 references
10 December 2008
0 references
non-transitive logics
0 references
non-compact logics
0 references
Kripke frames
0 references
modal logic
0 references
incomplete logics
0 references
0 references
0.8461825251579285
0 references
0.8284931778907776
0 references
0.7867916822433472
0 references
0.7569928765296936
0 references
