Closure Semantics for Weak Modal Logics: Completeness and Representations 160PQ7F1AS
| URI | m2://res/160PQ7F1AS |
|---|---|
| Kind | preprint |
| Creators | Yuki Nishimura |
| Date | 2026-10-01 |
| MSC | 03-XX |
| Subjects | arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-10-01 |
| Ids | arXiv 2610.01433, zbl_id 903193979 |
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 |
|---|---|---|---|
| 1S882W94YT | statement | lemma 4.23 | arxiv |
| 1T0YKC914R | statement | lemma 3.11 | arxiv |
| 2CQHKRQYCC | statement | proposition 3.4 | arxiv |
| 2YJ88JNMJB | definition | definition 3.16 | arxiv |
| 3DBE04B49S | statement | lemma 4.16 | arxiv |
| 4EAS1SWRN6 | definition | definition 4.2 | arxiv |
| 561DJBRQDF | statement | corollary 3.14 | arxiv |
| 5GFECY0W16 | definition | definition 3.8 | arxiv |
| 6N4S7DMY3P | definition | definition 4.28 | arxiv |
| 6NJY3GKCS0 | statement | lemma 4.26 | arxiv |
| 7017QA46RH | definition | definition 4.13 | arxiv |
| 8FC178G9PV | statement | lemma 4.29 | arxiv |
| 8R1MTA0Y21 | statement | theorem 4.10 | arxiv |
| 8V73TY57SD | definition | definition 4.3 | arxiv |
| 93DQSWWV6B | statement | theorem 4.30 | arxiv |
| 9C51XH3HMB | statement | corollary 4.11 | arxiv |
| 9NTES55QV6 | statement | lemma 4.5 | arxiv |
| A6TCWR5PA0 | statement | lemma 4.9 | arxiv |
| A7SMM44PCV | definition | definition 4.12 | arxiv |
| APF72JRFPE | definition | definition 4.4 | arxiv |
| BG62FMW72P | statement | lemma 4.8 | arxiv |
| BKJMETH3BC | definition | definition 3.15 | arxiv |
| BSAX2YQ4J6 | definition | definition 2.3 | arxiv |
| BV33QD1G4G | statement | lemma 4.18 | arxiv |
| CTBYEX0E4B | statement | lemma 3.18 | arxiv |
| DKT1HS6NE4 | example | example 4.24 | arxiv |
| EFBTBAF99C | definition | definition 4.25 | arxiv |
| F0W8QZ1EZ4 | definition | definition 3.2 | arxiv |
| G50FBKTF5M | definition | definition 2.5 | arxiv |
| GQ0M462DDV | definition | definition 4.22 | arxiv |
| GVNSH53G02 | statement | lemma 3.19 | arxiv |
| H6KS8ET6V7 | statement | lemma 3.9 | arxiv |
| JQTYA1DY7P | definition | definition 4.7 | arxiv |
| K4CA5TY87W | definition | definition 4.21 | arxiv |
| N8CXKS2YCY | definition | definition 4.17 | arxiv |
| NRGXKTPQEY | definition | definition 3.5 | arxiv |
| PNJXYB088W | statement | corollary 4.31 | arxiv |
| QEJBV7S4SB | statement | proposition 2.6 | arxiv |
| R5WY14AGAN | statement | lemma 4.27 | arxiv |
| R6Q51XHFKX | definition | definition 3.6 | arxiv |
| RK7AW2Y2AP | statement | lemma 4.15 | arxiv |
| RM4G6PZ3MP | definition | definition 2.2 | arxiv |
| RWB686JQBF | statement | theorem 4.19 | arxiv |
| SMPDMM9SA3 | statement | corollary 3.13 | arxiv |
| TNF782C57M | statement | lemma 3.17 | arxiv |
| V5MXHNX89H | definition | definition 4.14 | arxiv |
| V6PEKD90VB | statement | theorem 3.12 | arxiv |
| VHBGW3RK2E | statement | theorem 3.20 | arxiv |
| WM2GN9G37S | definition | definition 3.1 | arxiv |
| WXHNV2HNE5 | statement | corollary 4.20 | arxiv |
| XJJPVXPNKV | statement | lemma 4.6 | arxiv |
| Y7V3XYZHMG | definition | definition 2.4 | arxiv |
| YX155AD22B | statement | proposition 4.1 | arxiv |
| YYV7AR2GCF | statement | lemma 3.10 | arxiv |
| YZMBE4VCWM | definition | definition 2.1 | arxiv |
| Z2H9HFEN64 | definition | definition 3.7 | arxiv |
| ZB93BDHC0F | statement | theorem 3.3 | arxiv |
Catalogue records
- arxiv: 2610.01433 (work)
- arxiv_text: 2610.01433 (work)
- zbmath_search: 903193979 (work)