{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T20:45:31Z","timestamp":1783111531294,"version":"3.54.6"},"reference-count":25,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2022,4,7]],"date-time":"2022-04-07T00:00:00Z","timestamp":1649289600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2024,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A new characterization of tabularity in tense logic is established, namely, a tense logic <jats:italic>L<\/jats:italic> is tabular if and only if <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S1755020322000132_inline1.png\"\/><jats:tex-math>\n$\\mathsf {tab}_n^T\\in L$\n<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula> for some <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S1755020322000132_inline2.png\"\/><jats:tex-math>\n$n\\geq 1$\n<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>. Two characterization theorems for the Post-completeness in tabular tense logics are given. Furthermore, a characterization of the Post-completeness in the lattice of all tense logics is established. Post numbers of some tense logics are shown.<\/jats:p>","DOI":"10.1017\/s1755020322000132","type":"journal-article","created":{"date-parts":[[2022,4,7]],"date-time":"2022-04-07T09:41:38Z","timestamp":1649324498000},"page":"475-492","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":2,"title":["TABULARITY AND POST-COMPLETENESS IN TENSE LOGIC"],"prefix":"10.1017","volume":"17","author":[{"given":"QIAN","family":"CHEN","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"MINGHUI","family":"MA","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2022,4,7]]},"reference":[{"key":"S1755020322000132_r22","doi-asserted-by":"publisher","DOI":"10.2307\/2275736"},{"key":"S1755020322000132_r2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370315"},{"key":"S1755020322000132_r1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"S1755020322000132_r7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01794981"},{"key":"S1755020322000132_r23","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(96)00049-8"},{"key":"S1755020322000132_r4","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"Chagrov","year":"1997"},{"key":"S1755020322000132_r13","first-page":"21","article-title":"More about the lattice of tense logic","volume":"8","author":"Rautenberg","year":"1979","journal-title":"Bulletin of the Section of Logic"},{"key":"S1755020322000132_r15","doi-asserted-by":"publisher","DOI":"10.1017\/S002248120005194X"},{"key":"S1755020322000132_r12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01668576"},{"key":"S1755020322000132_r19","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1040046085"},{"key":"S1755020322000132_r21","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19960420113"},{"key":"S1755020322000132_r25","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0454-0_2"},{"key":"S1755020322000132_r8","volume-title":"Tools and Techniques in Modal Logic","author":"Kracht","year":"1997"},{"key":"S1755020322000132_r10","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093894226"},{"key":"S1755020322000132_r11","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19740202502"},{"key":"S1755020322000132_r6","unstructured":"[6] Grefe, C. (1994). Modale Logiken funktionaler Frames. Master\u2019s Thesis, FU Berlin."},{"key":"S1755020322000132_r16","doi-asserted-by":"publisher","DOI":"10.2307\/2272558"},{"key":"S1755020322000132_r17","unstructured":"[17] Wolter, F. (1993). Lattices of modal logics. Ph.D. Thesis, Freien Universit\u00e4t Berlin."},{"key":"S1755020322000132_r24","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-2464(07)80010-3"},{"key":"S1755020322000132_r14","doi-asserted-by":"publisher","DOI":"10.2307\/2272418"},{"key":"S1755020322000132_r3","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022274"},{"key":"S1755020322000132_r5","first-page":"288","volume-title":"Advances in Modal Logic","author":"Fritz","year":"2016"},{"key":"S1755020322000132_r18","doi-asserted-by":"publisher","DOI":"10.2307\/2275755"},{"key":"S1755020322000132_r20","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19960420140"},{"key":"S1755020322000132_r9","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-021-09942-5"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020322000132","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T13:20:22Z","timestamp":1716816022000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020322000132\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,7]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,6]]}},"alternative-id":["S1755020322000132"],"URL":"https:\/\/doi.org\/10.1017\/s1755020322000132","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,4,7]]},"assertion":[{"value":"\u00a9 The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}