{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T13:04:33Z","timestamp":1784639073024,"version":"3.55.0"},"reference-count":41,"publisher":"Elsevier BV","issue":"10","license":[{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100004543","name":"China Scholarship Council","doi-asserted-by":"publisher","award":["202306210166"],"award-info":[{"award-number":["202306210166"]}],"id":[{"id":"10.13039\/501100004543","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2026,12]]},"DOI":"10.1016\/j.apal.2026.103807","type":"journal-article","created":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T16:19:12Z","timestamp":1781626752000},"page":"103807","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["Pretabular tense logics over S4t"],"prefix":"10.1016","volume":"177","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8144-4011","authenticated-orcid":false,"given":"Qian","family":"Chen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.apal.2026.103807_br0010","series-title":"Abstract Booklet","article-title":"The cardinality of intervals of modal and superintuitionistic logics","author":"Aguilera","year":"2025"},{"key":"10.1016\/j.apal.2026.103807_br0020","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF01620760","article-title":"On the lattice of extensions of the modal logics kaltn","volume":"27","author":"Bellissima","year":"1988","journal-title":"Arch. Math. Log."},{"key":"10.1016\/j.apal.2026.103807_br0030","series-title":"V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics, vol. 24","first-page":"71","article-title":"Jankov formulas and axiomatization techniques for intermediate logics","author":"Bezhanishvili","year":"2022"},{"key":"10.1016\/j.apal.2026.103807_br0040","series-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"10.1016\/j.apal.2026.103807_br0050","doi-asserted-by":"crossref","first-page":"221","DOI":"10.2307\/2273184","article-title":"The lattice of modal logics: an algebraic investigation","volume":"45","author":"Blok","year":"1980","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2026.103807_br0060","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/BF02483108","article-title":"The lattice of varieties of modal algebras is not strongly atomic","volume":"11","author":"Blok","year":"1980","journal-title":"Algebra Univers."},{"key":"10.1016\/j.apal.2026.103807_br0070","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/BF00370315","article-title":"Pretabular varieties of modal algebras","volume":"39","author":"Blok","year":"1980","journal-title":"Stud. Log."},{"key":"10.1016\/j.apal.2026.103807_br0080","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1002\/malq.19660120129","article-title":"That all normal extensions of s4.3 have the finite model property","volume":"12","author":"Bull","year":"1966","journal-title":"Math. Log. Q."},{"key":"10.1016\/j.apal.2026.103807_br0090","series-title":"Modal Logic","author":"Chagrov","year":"1997"},{"key":"10.1016\/j.apal.2026.103807_br0100","series-title":"Computer Science Logic, vol. 933","first-page":"442","article-title":"Algorithmic aspects of propositional tense logics","author":"Chagrov","year":"1995"},{"key":"10.1016\/j.apal.2026.103807_br0110","series-title":"Degree of Kripke-Incompleteness of Tense Logics","author":"Chen","year":"2025"},{"key":"10.1016\/j.apal.2026.103807_br0120","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1017\/S1755020322000132","article-title":"Tabularity and post-completeness in tense logic","volume":"17","author":"Chen","year":"2024","journal-title":"Rev. Symb. Log."},{"key":"10.1016\/j.apal.2026.103807_br0130","series-title":"Investigations on the Intuitionistic Propositional Calculus","author":"De Jongh","year":"1968"},{"key":"10.1016\/j.apal.2026.103807_br0140","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1111\/j.1755-2567.1977.tb00779.x","article-title":"Five critical modal systems","volume":"43","author":"Esakia","year":"1977","journal-title":"Theoria"},{"key":"10.1016\/j.apal.2026.103807_br0150","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1002\/malq.19710170141","article-title":"The logics containing s 4.3","volume":"17","author":"Fine","year":"1971","journal-title":"Math. Log. Q."},{"key":"10.1016\/j.apal.2026.103807_br0160","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1111\/j.1755-2567.1974.tb00081.x","article-title":"An ascending chain of s4 logics","volume":"40","author":"Fine","year":"1974","journal-title":"Theoria"},{"key":"10.1016\/j.apal.2026.103807_br0170","doi-asserted-by":"crossref","first-page":"31","DOI":"10.2307\/2272340","article-title":"Logics containing k4. Part I","volume":"39","author":"Fine","year":"1974","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2026.103807_br0180","doi-asserted-by":"crossref","first-page":"619","DOI":"10.2307\/2274318","article-title":"Logics containing k4. Part ii","volume":"50","author":"Fine","year":"1985","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2026.103807_br0190","series-title":"Substitutions in Dynamics, Arithmetics and Combinatorics","volume":"vol. 1794","year":"2002"},{"key":"10.1016\/j.apal.2026.103807_br0200","first-page":"1293","article-title":"On the Relation Between Deducibility in Intuitionistic Propositional Calculus and Finite Implicative Structures","volume":"vol. 151","author":"Jankov","year":"1963"},{"key":"10.1016\/j.apal.2026.103807_br0210","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF01794981","article-title":"Even more about the lattice of tense logics","volume":"31","author":"Kracht","year":"1992","journal-title":"Arch. Math. Log."},{"key":"10.1016\/j.apal.2026.103807_br0220","doi-asserted-by":"crossref","first-page":"139","DOI":"10.2307\/2275330","article-title":"Splittings and the finite model property","volume":"58","author":"Kracht","year":"1993","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2026.103807_br0230","series-title":"Tools and Techniques in Modal Logic","author":"Kracht","year":"1999"},{"key":"10.1016\/j.apal.2026.103807_br0240","series-title":"Resume of Communications and Papers","first-page":"255","article-title":"Certain properties of the lattice of varieties of pseudo-Boolean algebras","author":"Kuznetsov","year":"1971"},{"key":"10.1016\/j.apal.2026.103807_br0250","series-title":"Algebraic Combinatorics on Words, Encyclopedia of Mathematics and Its Applications","author":"Lothaire","year":"2002"},{"key":"10.1016\/j.apal.2026.103807_br0260","doi-asserted-by":"crossref","first-page":"1093","DOI":"10.1007\/s11225-021-09942-5","article-title":"Lattices of finitely alternative normal tense logics","volume":"109","author":"Ma","year":"2021","journal-title":"Stud. Log."},{"key":"10.1016\/j.apal.2026.103807_br0270","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1305\/ndjfl\/1093894226","article-title":"Some embedding theorems for modal logic","volume":"12","author":"Makinson","year":"1971","journal-title":"Notre Dame J. Form. Log."},{"key":"10.1016\/j.apal.2026.103807_br0280","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/BF02330744","article-title":"Pretabular superintuitionist logic","volume":"11","author":"Maksimova","year":"1972","journal-title":"Algebra Log."},{"key":"10.1016\/j.apal.2026.103807_br0290","first-page":"304","article-title":"Modal logics of finite layers","volume":"14","author":"Maksimova","year":"1975","journal-title":"Algebra Log."},{"key":"10.1016\/j.apal.2026.103807_br0300","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1090\/S0002-9947-1921-1501161-8","article-title":"Recurrent geodesics on a surface of negative curvature","volume":"22","author":"Morse","year":"1921","journal-title":"Trans. Am. Math. Soc."},{"key":"10.1016\/j.apal.2026.103807_br0310","series-title":"Past, Present and Future","author":"Prior","year":"1967"},{"key":"10.1016\/j.apal.2026.103807_br0320","first-page":"21","article-title":"More about the lattice of tense logic","volume":"8","author":"Rautenberg","year":"1979","journal-title":"Bull. Sect. Log."},{"key":"10.1016\/j.apal.2026.103807_br0330","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BF02021134","article-title":"Splitting lattices of logics","volume":"20","author":"Rautenberg","year":"1980","journal-title":"Arch. Math. Log. Grundl.forsch."},{"key":"10.1016\/j.apal.2026.103807_br0340","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s11225-006-8296-2","article-title":"Willem blok and modal logic","volume":"83","author":"Rautenberg","year":"2006","journal-title":"Stud. Log."},{"key":"10.1016\/j.apal.2026.103807_br0350","series-title":"An Essay in Classical Modal Logic","author":"Segerberg","year":"1971"},{"key":"10.1016\/j.apal.2026.103807_br0360","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2272558","article-title":"Semantic analysis of tense logics","volume":"37","author":"Thomason","year":"1972","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2026.103807_br0370","first-page":"1","article-title":"\u00fcber unendliche zeichenreihen","volume":"7","author":"Thue","year":"1906","journal-title":"Norske Vid. Selsk. Skr. Mat. Nat. Kl."},{"key":"10.1016\/j.apal.2026.103807_br0380","series-title":"Handbook of Modal Logic","first-page":"331","article-title":"6 algebras and coalgebras","volume":"vol. 3","author":"Venema","year":"2007"},{"key":"10.1016\/j.apal.2026.103807_br0390","doi-asserted-by":"crossref","first-page":"757","DOI":"10.2307\/2275755","article-title":"The finite model property in tense logic","volume":"60","author":"Wolter","year":"1995","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2026.103807_br0400","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1002\/malq.19960420113","article-title":"Tense logic without tense operators","volume":"42","author":"Wolter","year":"1996","journal-title":"Math. Log. Q."},{"key":"10.1016\/j.apal.2026.103807_br0410","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1023\/A:1017956722866","article-title":"A note on the interpolation property in tense logic","volume":"26","author":"Wolter","year":"1997","journal-title":"J. Philos. Log."}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007226000904?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007226000904?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T12:42:30Z","timestamp":1784637750000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007226000904"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,12]]},"references-count":41,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2026,12]]}},"alternative-id":["S0168007226000904"],"URL":"https:\/\/doi.org\/10.1016\/j.apal.2026.103807","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2026,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Pretabular tense logics over","name":"articletitle","label":"Article Title"},{"value":"Annals of Pure and Applied Logic","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.apal.2026.103807","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"103807"}}