{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T19:05:18Z","timestamp":1778958318893,"version":"3.51.4"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,10,18]],"date-time":"2016-10-18T00:00:00Z","timestamp":1476748800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1007\/s11225-016-9680-1","type":"journal-article","created":{"date-parts":[[2016,10,18]],"date-time":"2016-10-18T01:16:40Z","timestamp":1476753400000},"page":"13-35","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames"],"prefix":"10.1007","volume":"105","author":[{"given":"Wesley H.","family":"Holliday","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,18]]},"reference":[{"issue":"2","key":"9680_CR1","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1111\/j.1755-2567.1978.tb00170.x","volume":"44","author":"J. F. A. K. Benthem van","year":"1978","unstructured":"van Benthem J. F. A. K., Blok W. J.: Transitivity follows from Dummett\u2019s axiom. Theoria 44(2), 117\u2013118 (1978)","journal-title":"Theoria"},{"issue":"1","key":"9680_CR2","first-page":"36","volume":"8","author":"J. Benthem van","year":"1979","unstructured":"van Benthem J.: Minimal deontic logics (Abstract). Bulletin of the Section of Logic 8(1), 36\u201341 (1979)","journal-title":"Bulletin of the Section of Logic"},{"issue":"2","key":"9680_CR3","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1080\/11663081.1999.10510976","volume":"9","author":"J. Benthem van","year":"1999","unstructured":"van Benthem J.: The range of modal logic. Journal of Applied Non-Classical Logics 9(2), 407\u2013442 (1999)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9680_CR4","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Correspondence theory, in D. M. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, vol. 3, 2 edn., Springer, Dordrecht, 2001, pp. 325\u2013408.","DOI":"10.1007\/978-94-017-0454-0_4"},{"key":"9680_CR5","doi-asserted-by":"crossref","unstructured":"van Benthem, J. and G. Bezhanishvili, Modal logics of space, in M. Aiello, I. Pratt-Hartmann, and J. van Benthem, (eds.), Handbook of Spatial Logics, Springer, New York, 2007, pp. 217\u2013298.","DOI":"10.1007\/978-1-4020-5587-4_5"},{"key":"9680_CR6","doi-asserted-by":"crossref","unstructured":"Bezhanishvili, N., and B. ten Cate, Transfer results for hybrid logic. Part I: the case without satisfaction operators, Journal of Logic and Computation 16(2):177\u2013197, 2006.","DOI":"10.1093\/logcom\/exi056"},{"issue":"1","key":"9680_CR7","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1305\/ndjfl\/1093634564","volume":"34","author":"P. Blackburn","year":"1993","unstructured":"Blackburn P.: Nominal tense logic. Notre Dame Journal of Formal Logic 34(1), 56\u201383 (1993)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9680_CR8","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, New York, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"9680_CR9","doi-asserted-by":"crossref","unstructured":"Boolos, G., The Logic of Provability, Cambridge University Press, New York, 1995.","DOI":"10.1017\/CBO9780511625183"},{"key":"9680_CR10","unstructured":"ten Cate, B., Model theory for extended modal languages, Ph.D. thesis, University of Amsterdam, 2005. ILLC Dissertation Series DS-2005-01."},{"key":"9680_CR11","doi-asserted-by":"crossref","unstructured":"ten Cate, B., and T. Litak, The importance of being discrete, Technical Report PP-2007-39, Institute for Logic, Language and Computation, University of Amsterdam, 2007.","DOI":"10.1007\/978-3-540-75144-1"},{"key":"9680_CR12","doi-asserted-by":"crossref","unstructured":"Chagrov, A., and M. Zakharyaschev, Modal Logic, Clarendon Press, Oxford, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"issue":"2","key":"9680_CR13","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1111\/j.1755-2567.1974.tb00081.x","volume":"40","author":"K. Fine","year":"1974","unstructured":"Fine K.: An ascending chain of S4 logics. Theoria 40(2), 110\u2013116 (1974)","journal-title":"Theoria"},{"key":"9680_CR14","unstructured":"Fontaine, G., Axiomatization of ML and Cheq, Master\u2019s thesis, University of Amsterdam, 2006. ILLC Master of Logic Series MoL-2006-08."},{"key":"9680_CR15","unstructured":"Fontaine, G., ML is not finitely axiomatizable over Cheq, in G. Governatori, I. Hodkinson, and Y. Venema, (eds.), Advances in Modal Logic, vol. 6, College Publications, London, 2006, pp. 139\u2013146."},{"issue":"3","key":"9680_CR16","doi-asserted-by":"crossref","first-page":"431","DOI":"10.2307\/2270700","volume":"35","author":"D. M. Gabbay","year":"1970","unstructured":"Gabbay D. M.: The decidability of the Kreisel\u2013Putnam system. The Journal of Symbolic Logic 35(3), 431\u2013437 (1970)","journal-title":"The Journal of Symbolic Logic"},{"issue":"6","key":"9680_CR17","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1007\/BF01054038","volume":"22","author":"G. Gargov","year":"1993","unstructured":"Gargov G., Goranko V.: Modal logic with names. Journal of Philosophical Logic 22(6), 607\u2013636 (1993)","journal-title":"Journal of Philosophical Logic"},{"key":"9680_CR18","doi-asserted-by":"crossref","unstructured":"Gargov, G., and S. Passy, A note on Boolean modal logic, in P. P. Petkov, (ed.), Mathematical Logic, Plenum Press, New York, 1990, pp. 299\u2013309.","DOI":"10.1007\/978-1-4613-0609-2_21"},{"key":"9680_CR19","doi-asserted-by":"crossref","unstructured":"Gargov, G., S. Passy, and T. Tinchev, Modal environment for Boolean speculations, in D. Scordev, (ed.), Mathematical Logic and Its Applications, Plenum Press, New York, 1987, pp. 253\u2013263.","DOI":"10.1007\/978-1-4613-0897-3_17"},{"key":"9680_CR20","doi-asserted-by":"crossref","unstructured":"Goranko, V., Completeness and incompleteness in the bimodal base $${\\mathcal{L}(R,-R)}$$ L ( R , - R ) , in P. P. Petkov, (ed.), Mathematical Logic, Plenum Press, New York, 1990, pp. 311\u2013326.","DOI":"10.1007\/978-1-4613-0609-2_22"},{"issue":"1","key":"9680_CR21","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1305\/ndjfl\/1093635335","volume":"31","author":"V. Goranko","year":"1990","unstructured":"Goranko V.: Modal definability in enriched languages. Notre Dame Journal of Formal Logic 31(1), 81\u2013105 (1990)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"9680_CR22","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V. Goranko","year":"1992","unstructured":"Goranko V., Passy S.: Using the universal modality: gains and questions. Journal of Logic and Computation 2(1), 5\u201330 (1992)","journal-title":"Journal of Logic and Computation"},{"issue":"5","key":"9680_CR23","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1093\/logcom\/11.5.737","volume":"11","author":"V. Goranko","year":"2001","unstructured":"Goranko V., Vakarelov D.: Sahlqvist formulas in hybrid polyadic modal logics. Journal of Logic and Computation 11(5), 737\u2013754 (2001)","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"9680_CR24","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1007\/s11856-015-1185-5","volume":"207","author":"J. D. Hamkins","year":"2015","unstructured":"Hamkins J. D., Leibman G., L\u00f6we B.: Structural connections between a forcing class and its modal logic. Israel Journal of Mathematics 207(2), 617\u2013651 (2015)","journal-title":"Israel Journal of Mathematics"},{"issue":"4","key":"9680_CR25","doi-asserted-by":"crossref","first-page":"1793","DOI":"10.1090\/S0002-9947-07-04297-3","volume":"360","author":"J. D. Hamkins","year":"2008","unstructured":"Hamkins J. D., L\u00f6we B.: The modal logic of forcing. Transactions of the American Mathematical Society 360(4), 1793\u20131817 (2008)","journal-title":"Transactions of the American Mathematical Society"},{"issue":"3","key":"9680_CR26","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1305\/ndjfl\/1093870378","volume":"24","author":"L. Humberstone","year":"1983","unstructured":"Humberstone L.: Inaccessible worlds. Notre Dame Journal of Formal Logic 24(3), 346\u2013352 (1983)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"9680_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10992-005-9020-9","volume":"36","author":"L. Humberstone","year":"2007","unstructured":"Humberstone L.: Modal logic for other-world agnostics: neutrality and Halld\u00e9n completeness. Journal of Philosophical Logic 36(1), 1\u201332 (2007)","journal-title":"Journal of Philosophical Logic"},{"key":"9680_CR28","doi-asserted-by":"crossref","unstructured":"Jech, T., Multiple Forcing, Cambridge University Press, Cambridge, 1986.","DOI":"10.1017\/CBO9780511721168"},{"key":"9680_CR29","first-page":"394","volume":"20","author":"L. L. Maksimova","year":"1979","unstructured":"Maksimova L. L., Shehtman V. B., Skvortsov D. P.: The impossibility of a finite axiomatization of Medvedev\u2019s logic of finitary problems. Soviet Mathematics Doklady 20, 394\u2013398 (1979)","journal-title":"Soviet Mathematics Doklady"},{"key":"9680_CR30","first-page":"227","volume":"3","author":"Y. T. Medvedev","year":"1962","unstructured":"Medvedev Y. T.: Finite problems. Soviet Mathematics Doklady 3, 227\u2013230 (1962)","journal-title":"Soviet Mathematics Doklady"},{"key":"9680_CR31","first-page":"857","volume":"7","author":"Y. T. Medvedev","year":"1966","unstructured":"Medvedev Y. T.: Interpretation of logical formulas by means of finite problems. Soviet Mathematics Doklady 7, 857\u2013860 (1966)","journal-title":"Soviet Mathematics Doklady"},{"issue":"3","key":"9680_CR32","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF00405383","volume":"38","author":"T. Prucnal","year":"1979","unstructured":"Prucnal T.: On two problems of Harvey Friedman. Studia Logica 38(3), 247\u2013262 (1979)","journal-title":"Studia Logica"},{"issue":"2","key":"9680_CR33","doi-asserted-by":"crossref","first-page":"566","DOI":"10.2307\/2275293","volume":"57","author":"M. Rijke de","year":"1992","unstructured":"de Rijke M.: The modal logic of inequality. The Journal of Symbolic Logic 57(2), 566\u2013584 (1992)","journal-title":"The Journal of Symbolic Logic"},{"issue":"2\u20133","key":"9680_CR34","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1111\/j.1755-2567.1980.tb00696.x","volume":"46","author":"K. Segerberg","year":"1980","unstructured":"Segerberg K.: A note on the logic of elsewhere. Theoria 46(2\u20133), 183\u2013187 (1980)","journal-title":"Theoria"},{"issue":"1","key":"9680_CR35","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/BF01881552","volume":"45","author":"V. B. Shehtman","year":"1986","unstructured":"Shehtman V. B., Skvortsov D. P.: Logics of some Kripke frames connected with Medvedev notion of informational types. Studia Logica 45(1), 101\u2013118 (1986)","journal-title":"Studia Logica"},{"issue":"3","key":"9680_CR36","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF00370370","volume":"49","author":"V. Shehtman","year":"1990","unstructured":"Shehtman V.: Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable. Studia Logica 49(3), 365\u2013385 (1990)","journal-title":"Studia Logica"},{"key":"9680_CR37","first-page":"360","volume":"20","author":"D. P. Skvortsov","year":"1979","unstructured":"Skvortsov D. P.: Logic of infinite problems and Kripke models on atomic semilattices of sets. Soviet Mathematics Doklady 20, 360\u2013363 (1979)","journal-title":"Soviet Mathematics Doklady"},{"key":"9680_CR38","doi-asserted-by":"crossref","unstructured":"Vakarelov, D., Modal characterization of the classes of finite and infinite quasi-ordered sets, in P. P. Petkov, (ed.), Mathematical Logic, Plenum Press, New York, 1990, pp. 373\u2013387.","DOI":"10.1007\/978-1-4613-0609-2_27"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9680-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-016-9680-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9680-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T15:46:56Z","timestamp":1749656816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-016-9680-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,18]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,2]]}},"alternative-id":["9680"],"URL":"https:\/\/doi.org\/10.1007\/s11225-016-9680-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10,18]]}}}