{"data":{"id":"10.48550/arxiv.2610.01433","type":"dois","attributes":{"doi":"10.48550/arxiv.2610.01433","prefix":"10.48550","suffix":"arxiv.2610.01433","identifiers":[{"identifier":"2610.01433","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"2610.01433"}],"creators":[{"name":"Nishimura, Yuki","nameType":"Personal","givenName":"Yuki","familyName":"Nishimura","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"Closure Semantics for Weak Modal Logics: Completeness and Representations"}],"publisher":"arXiv","container":{},"publicationYear":2026,"subjects":[{"lang":"en","subject":"Logic (math.LO)","subjectScheme":"arXiv"},{"subject":"FOS: Mathematics","subjectScheme":"Fields of Science and Technology (FOS)"},{"lang":"en","subject":"03B45","subjectScheme":"MSC"}],"contributors":[],"dates":[{"date":"2026-10-01T10:30:42Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2026-10-02T01:02:22Z","dateType":"Updated","dateInformation":"v1"},{"date":"2026-10-13T09:09:38Z","dateType":"Submitted","dateInformation":"v2"},{"date":"2026-10-14T03:31:27Z","dateType":"Updated","dateInformation":"v2"},{"date":"2026-10","dateType":"Available","dateInformation":"v1"}],"language":null,"types":{"ris":"GEN","bibtex":"misc","citeproc":"article","schemaOrg":"CreativeWork","resourceType":"Article","resourceTypeGeneral":"Preprint"},"relatedIdentifiers":[],"relatedItems":[],"sizes":[],"formats":[],"version":"2","rightsList":[{"rights":"Creative Commons Attribution 4.0 International","rightsUri":"https://creativecommons.org/licenses/by/4.0/legalcode","schemeUri":"https://spdx.org/licenses/","rightsIdentifier":"cc-by-4.0","rightsIdentifierScheme":"SPDX"}],"descriptions":[{"description":"Weak modal logics can be obtained by restricting the axioms and inference rules governing the modal operator. At the extreme, one may consider the least modal logic, in which no specifically modal axiom or inference rule is imposed. We introduce closure semantics, a new possible-world semantics for such weak modal logics, and establish soundness and strong completeness for a range of systems. We also give truth-preserving translations between closure models and other possible-world semantics, including neighborhood, FMT, and Kripke semantics.","descriptionType":"Abstract"},{"description":"26 pages, no figure","descriptionType":"Other"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi4yNjEwLjAxNDMzPC9pZGVudGlmaWVyPgogIDxhbHRlcm5hdGVJZGVudGlmaWVycz4KICAgIDxhbHRlcm5hdGVJZGVudGlmaWVyIGFsdGVybmF0ZUlkZW50aWZpZXJUeXBlPSJhclhpdiI+MjYxMC4wMTQzMzwvYWx0ZXJuYXRlSWRlbnRpZmllcj4KICA8L2FsdGVybmF0ZUlkZW50aWZpZXJzPgogIDxjcmVhdG9ycz4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5OaXNoaW11cmEsIFl1a2k8L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPll1a2k8L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+TmlzaGltdXJhPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogIDwvY3JlYXRvcnM+CiAgPHRpdGxlcz4KICAgIDx0aXRsZT5DbG9zdXJlIFNlbWFudGljcyBmb3IgV2VhayBNb2RhbCBMb2dpY3M6IENvbXBsZXRlbmVzcyBhbmQgUmVwcmVzZW50YXRpb25zPC90aXRsZT4KICA8L3RpdGxlcz4KICA8cHVibGlzaGVyPmFyWGl2PC9wdWJsaXNoZXI+CiAgPHB1YmxpY2F0aW9uWWVhcj4yMDI2PC9wdWJsaWNhdGlvblllYXI+CiAgPHN1YmplY3RzPgogICAgPHN1YmplY3QgeG1sOmxhbmc9ImVuIiBzdWJqZWN0U2NoZW1lPSJhclhpdiI+TG9naWMgKG1hdGguTE8pPC9zdWJqZWN0PgogICAgPHN1YmplY3Qgc3ViamVjdFNjaGVtZT0iRmllbGRzIG9mIFNjaWVuY2UgYW5kIFRlY2hub2xvZ3kgKEZPUykiPkZPUzogTWF0aGVtYXRpY3M8L3N1YmplY3Q+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9Ik1TQyI+MDNCNDU8L3N1YmplY3Q+CiAgPC9zdWJqZWN0cz4KICA8ZGF0ZXM+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iU3VibWl0dGVkIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDI2LTEwLTAxVDEwOjMwOjQyWjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJVcGRhdGVkIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDI2LTEwLTAyVDAxOjAyOjIyWjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJTdWJtaXR0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjIiPjIwMjYtMTAtMTNUMDk6MDk6MzhaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IlVwZGF0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjIiPjIwMjYtMTAtMTRUMDM6MzE6MjdaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IkF2YWlsYWJsZSIgZGF0ZUluZm9ybWF0aW9uPSJ2MSI+MjAyNi0xMDwvZGF0ZT4KICA8L2RhdGVzPgogIDxyZXNvdXJjZVR5cGUgcmVzb3VyY2VUeXBlR2VuZXJhbD0iUHJlcHJpbnQiPkFydGljbGU8L3Jlc291cmNlVHlwZT4KICA8dmVyc2lvbj4yPC92ZXJzaW9uPgogIDxyaWdodHNMaXN0PgogICAgPHJpZ2h0cyByaWdodHNVUkk9Imh0dHA6Ly9jcmVhdGl2ZWNvbW1vbnMub3JnL2xpY2Vuc2VzL2J5LzQuMC8iIHJpZ2h0c0lkZW50aWZpZXJTY2hlbWU9IlNQRFgiIHJpZ2h0c0lkZW50aWZpZXI9IkNDLUJZLTQuMCI+Q3JlYXRpdmUgQ29tbW9ucyBBdHRyaWJ1dGlvbiA0LjAgSW50ZXJuYXRpb25hbDwvcmlnaHRzPgogIDwvcmlnaHRzTGlzdD4KICA8ZGVzY3JpcHRpb25zPgogICAgPGRlc2NyaXB0aW9uIGRlc2NyaXB0aW9uVHlwZT0iQWJzdHJhY3QiPldlYWsgbW9kYWwgbG9naWNzIGNhbiBiZSBvYnRhaW5lZCBieSByZXN0cmljdGluZyB0aGUgYXhpb21zIGFuZCBpbmZlcmVuY2UgcnVsZXMgZ292ZXJuaW5nIHRoZSBtb2RhbCBvcGVyYXRvci4gQXQgdGhlIGV4dHJlbWUsIG9uZSBtYXkgY29uc2lkZXIgdGhlIGxlYXN0IG1vZGFsIGxvZ2ljLCBpbiB3aGljaCBubyBzcGVjaWZpY2FsbHkgbW9kYWwgYXhpb20gb3IgaW5mZXJlbmNlIHJ1bGUgaXMgaW1wb3NlZC4gV2UgaW50cm9kdWNlIGNsb3N1cmUgc2VtYW50aWNzLCBhIG5ldyBwb3NzaWJsZS13b3JsZCBzZW1hbnRpY3MgZm9yIHN1Y2ggd2VhayBtb2RhbCBsb2dpY3MsIGFuZCBlc3RhYmxpc2ggc291bmRuZXNzIGFuZCBzdHJvbmcgY29tcGxldGVuZXNzIGZvciBhIHJhbmdlIG9mIHN5c3RlbXMuIFdlIGFsc28gZ2l2ZSB0cnV0aC1wcmVzZXJ2aW5nIHRyYW5zbGF0aW9ucyBiZXR3ZWVuIGNsb3N1cmUgbW9kZWxzIGFuZCBvdGhlciBwb3NzaWJsZS13b3JsZCBzZW1hbnRpY3MsIGluY2x1ZGluZyBuZWlnaGJvcmhvb2QsIEZNVCwgYW5kIEtyaXBrZSBzZW1hbnRpY3MuPC9kZXNjcmlwdGlvbj4KICAgIDxkZXNjcmlwdGlvbiBkZXNjcmlwdGlvblR5cGU9Ik90aGVyIj4yNiBwYWdlcywgbm8gZmlndXJlPC9kZXNjcmlwdGlvbj4KICA8L2Rlc2NyaXB0aW9ucz4KPC9yZXNvdXJjZT4=","url":"https://arxiv.org/abs/2610.01433","contentUrl":null,"metadataVersion":1,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2026-10-02T03:05:52.000Z","registered":"2026-10-02T03:05:52.000Z","published":"2026","updated":"2026-10-14T08:51:10.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.2610.01433","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}