Positive Modal Logic Beyond Distributivity B8MJT0GGW8
| URI | m2://res/B8MJT0GGW8 |
|---|---|
| Kind | preprint |
| Creators | Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini |
| Date | 2022-04-28 |
| MSC | 03-XX |
| Subjects | arxiv math.LO, arxiv cs.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2022-04-28 |
| Ids | arXiv 2204.13401, DOI 10.1016/j.apal.2023.103374 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 1KX7G4R8PY | definition | definition 4.11 | arxiv |
| 1R9DNMAQ6H | definition | definition 3.1 | arxiv |
| Soundness | statement | theorem 3.10 | arxiv |
| 241373NHH3 | definition | definition 4.7 | arxiv |
| 286671K9KW | definition | definition 2.14 | arxiv |
| 4FRT4WYXE4 | definition | definition 3.18 | arxiv |
| 54SY82J9F3 | statement | lemma 4.33 | arxiv |
| 566M4FDYY4 | statement | proposition 2.6 | arxiv |
| 5MFKPPMNFJ | statement | proposition 3.12 | arxiv |
| 60SD7TXHSD | statement | lemma 4.30 | arxiv |
| 653MD65Q76 | statement | proposition 3.20 | arxiv |
| 6WBSC43EB3 | statement | lemma 4.21 | arxiv |
| 71S6FMM0V6 | statement | theorem 4.23 | arxiv |
| 758F8DDPNP | statement | lemma 2.9 | arxiv |
| 7GJG69YV4R | statement | theorem 2.11 | arxiv |
| 7KR3JQ52D9 | definition | definition 2.4 | arxiv |
| 7MW9AR3ED2 | statement | lemma 4.34 | arxiv |
| 7YHNZ6937M | statement | lemma 4.15 | arxiv |
| 92KDKWQ6V9 | statement | lemma 4.12 | arxiv |
| 947Z6RZV9D | statement | lemma 4.19 | arxiv |
| 94EJMB89JA | definition | definition 4.18 | arxiv |
| 96BWEGZZQX | statement | lemma 3.22 | arxiv |
| 9AE1B2PDCX | definition | definition 3.7 | arxiv |
| 9M2Q06FBAW | statement | theorem 3.25 | arxiv |
| AM2TSZESYP | statement | theorem 4.10 | arxiv |
| BCDV75CH53 | statement | lemma 4.28 | arxiv |
| BN8YR84GQ7 | definition | definition 2.2 | arxiv |
| CDGGQRZ1NR | definition | definition 3.19 | arxiv |
| CG253HT7X1 | statement | lemma 3.4 | arxiv |
| CRKKJZKD4P | definition | definition 3.15 | arxiv |
| CXSGSK9AMX | statement | proposition 4.25 | arxiv |
| D2E2GKZVXX | statement | theorem 3.5 | arxiv |
| DT5MBWB72V | statement | lemma 2.8 | arxiv |
| DWY9DHGT9C | definition | definition 3.23 | arxiv |
| DYX626JBN2 | statement | proposition 4.13 | arxiv |
| FP940PN69X | statement | proposition 4.3 | arxiv |
| FQZN0D9Z0S | statement | theorem 4.27 | arxiv |
| G1XQ92HWHP | statement | lemma 3.8 | arxiv |
| GJTJGSHZPX | statement | lemma 3.16 | arxiv |
| GR4JZKBK3C | definition | definition 3.6 | arxiv |
| GW4ARPFF9B | definition | definition 3.11 | arxiv |
| GX2DT73HRD | statement | theorem 4.31 | arxiv |
| GYVCPV96QF | definition | definition 2.12 | arxiv |
| H6SPJP4F4M | statement | theorem 4.36 | arxiv |
| H7QANRAEND | definition | definition 4.1 | arxiv |
| H9P5KDA72F | definition | definition 4.2 | arxiv |
| HET99B2MZX | statement | proposition 4.17 | arxiv |
| J5NZDPD83M | definition | definition 4.4 | arxiv |
| K98DQMMVVN | definition | definition 2.1 | arxiv |
| KMD3S101HG | statement | corollary 4.26 | arxiv |
| MZ43ZA5G6Y | statement | proposition 4.5 | arxiv |
| NCMQ9TMKD7 | statement | proposition 2.3 | arxiv |
| NESHBFTQKB | definition | definition 3.3 | arxiv |
| NEXD8AEWYG | definition | definition 4.14 | arxiv |
| NH0T3ZGE1M | statement | proposition 4.32 | arxiv |
| NSBQ0B1H65 | definition | definition 2.10 | arxiv |
| NZXSZR9F6Y | statement | lemma 4.20 | arxiv |
| Q8A0ND00HT | statement | lemma 3.14 | arxiv |
| QG6PYPB44A | definition | definition 4.24 | arxiv |
| QW08DJXAJQ | definition | definition 3.21 | arxiv |
| RCFHMNE11Q | definition | definition 4.35 | arxiv |
| RS1SCVCA4Y | definition | definition 3.13 | arxiv |
| SWKRX17A6J | definition | definition 3.2 | arxiv |
| TBAR4C4ARX | definition | definition 4.8 | arxiv |
| TFXTEWWK03 | statement | proposition 3.9 | arxiv |
| TJ44PTXMXW | statement | proposition 2.5 | arxiv |
| VC4XNX3GNF | statement | theorem 2.13 | arxiv |
| W56CN04TKP | statement | proposition 2.16 | arxiv |
| XBAS74TGS3 | statement | lemma 4.6 | arxiv |
| XHTYN9Y8Z9 | definition | definition 2.7 | arxiv |
| Y2D4QEEFPE | definition | definition 4.16 | arxiv |
| YDRSG6C3PX | statement | lemma 4.22 | arxiv |
| YGN57KV54Y | definition | definition 2.15 | arxiv |
| Z57MAAD9HP | statement | lemma 4.9 | arxiv |
| ZNR4HE5MJ3 | statement | theorem 4.29 | arxiv |
| ZPEAMSV7MW | statement | lemma 3.24 | arxiv |
| ZW1MSNNTCA | statement | theorem 3.17 | arxiv |
Catalogue records
- arxiv: 2204.13401 (work)
- arxiv_text: 2204.13401 (work)