Frame-validity games and absolute minimality of modal axioms (Q5224561)
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 7084827
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Frame-validity games and absolute minimality of modal axioms |
scientific article; zbMATH DE number 7084827 |
Statements
24 July 2019
0 references
modal logic
0 references
correspondence theory
0 references
formula-size games
0 references
lower bounds on formula-size
0 references
0.8897641897201538
0 references
0.7497767210006714
0 references
0.7125573754310608
0 references
0.7101333141326904
0 references
0.709238588809967
0 references
