{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:49Z","timestamp":1760202709511},"reference-count":29,"publisher":"Oxford University Press (OUP)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"DOI":"10.1093\/logcom\/exw011","type":"journal-article","created":{"date-parts":[[2016,5,25]],"date-time":"2016-05-25T23:25:02Z","timestamp":1464218702000},"page":"exw011","source":"Crossref","is-referenced-by-count":4,"title":["Dual characterizations for finite lattices via correspondence theory for monotone modal logic"],"prefix":"10.1093","author":[{"given":"Sabine","family":"Frittella","sequence":"first","affiliation":[]},{"given":"Alessandra","family":"Palmigiano","sequence":"additional","affiliation":[]},{"given":"Luigi","family":"Santocanale","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2016,5,25]]},"reference":[{"key":"2016052520243922000_exw011v1.1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01448035"},{"key":"2016052520243922000_exw011v1.2","doi-asserted-by":"crossref","unstructured":"Blackburn, P. Rijke M. de , and Venema. Y. Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"2016052520243922000_exw011v1.3","unstructured":"A. Chagrov and L.A. The truth about algorithmic problems in correspondence theory. In Advances in Modal Logic, G. Governatori, I. Hodkinson and Y. Venema, eds. vol. 6, pp. 121\u2013138, College Publications, 2006."},{"key":"2016052520243922000_exw011v1.4","unstructured":"Conradie W. and Craig. A. Canonicity results for mu-calculi: an algorithmic approach. Journal of Logic and Computation Special issue on Canonicity and Correspondence for Nonclassical Logics (forthcoming)."},{"key":"2016052520243922000_exw011v1.5","unstructured":"Conradie, W. Craig, A. Palmigiano, A. and Zhao. Z. Constructive canonicity for lattice-based fixed point logics. submitted."},{"key":"2016052520243922000_exw011v1.6","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2014.10.027"},{"key":"2016052520243922000_exw011v1.7","unstructured":"Conradie, W. Frittella, S. Palmigiano, A. Piazzai, M. Tzimoulis, A. and Wijnberg. N. Categories: how I learned to stop worrying and love two sorts. submitted."},{"key":"2016052520243922000_exw011v1.8","doi-asserted-by":"crossref","unstructured":"W. Conradie, S. Ghilardi, and A. Palmigiano. Unified correspondence. In Johan van Benthem on Logical and Informational Dynamics, A. Baltag and S. Smets, eds. pp. 933\u2013975, vol. 5 of Outstanding Contributions to Logic, Springer, 2014.","DOI":"10.1007\/978-3-319-06025-5_36"},{"key":"2016052520243922000_exw011v1.9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-2(1:5)2006","article-title":"Algorithmic correspondence and completeness in modal logic I: The core algorithm SQEMA.","volume":"2","author":"Conradie,","year":"2006","journal-title":"Logical Methods in Computer Science"},{"key":"2016052520243922000_exw011v1.10","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2011.10.004"},{"key":"2016052520243922000_exw011v1.11","unstructured":"Conradie W. and Palmigiano. A. Constructive canonicity of inductive inequalities. submitted."},{"key":"2016052520243922000_exw011v1.12","unstructured":"Conradie W. and Palmigiano. A. Algorithmic Correspondence and Canonicity for Non-distributive Logics. Journal of Logic and Computation Special issue on Canonicity and Correspondence for Nonclassical Logics(forthcoming)."},{"key":"2016052520243922000_exw011v1.13","unstructured":"Conradie, W. Palmigiano, A. and Sourabh. S. Algebraic modal correspondence: Sahlqvist and beyond. submitted, 2015."},{"key":"2016052520243922000_exw011v1.14","unstructured":"Conradie, W. Palmigiano, A. Sourabh, S. and Zhao. Z. Canonicity and relativized canonicity via pseudo-correspondence: an application of ALBA. submitted."},{"key":"2016052520243922000_exw011v1.15","unstructured":"Conradie, W. Palmigiano, A. and Zhao. Z. Sahlqvist via translation. submitted."},{"key":"2016052520243922000_exw011v1.16","doi-asserted-by":"crossref","unstructured":"Conradie, W. and Robinson. C. On Sahlqvist theory for hybrid logic. Journal of Logic and Computation Special issue on Canonicity and Correspondence for Nonclassical Logics 2015.","DOI":"10.1093\/logcom\/exv045"},{"key":"2016052520243922000_exw011v1.17","unstructured":"A B.A. and A H.A. Lattices and Order. Cambridge Univerity Press, 2002."},{"key":"2016052520243922000_exw011v1.18","doi-asserted-by":"crossref","unstructured":"Freese, R. Je\u017eek, J. and B J.B. Free Lattices, vol. 42 of Mathematical Surveys and Monographs. American Mathematical Society, 1995.","DOI":"10.1090\/surv\/042"},{"key":"2016052520243922000_exw011v1.19","unstructured":"S. Frittella and L. Santocanale. Fixed-point theory in the varieties Dn . In Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings, P. H\u00f6fner, P. Jipsen, W. Kahl and M.E. Kahl eds, pp. 446\u2013462, vol. 8428 of Lecture Notes in Computer Science, Springer, 2014."},{"key":"2016052520243922000_exw011v1.20","unstructured":"Greco, G. Ma, M. Palmigiano, A. Tzimoulis, A. and Zhao. Z. Unified correspondence as a proof-theoretic tool. Journal of Logic and Computation Special issue on Canonicity and Correspondence for Nonclassical Logics (forthcoming)."},{"key":"2016052520243922000_exw011v1.21","unstructured":"Hansen. H. Monotonic Modal Logics. Master\u2019s Thesis, University of Amsterdam, http:\/\/www.illc.uva.nl\/Publications\/ResearchReports\/PP-2003-24.text.ps.gz, 2003."},{"key":"2016052520243922000_exw011v1.22","doi-asserted-by":"publisher","DOI":"10.1007\/BF01057646"},{"key":"2016052520243922000_exw011v1.23","unstructured":"Ma M. and Zhao. Z. Unified correspondence and proof theory for strict implication. Journal of Logic and Computation (forthcoming)."},{"key":"2016052520243922000_exw011v1.24","doi-asserted-by":"publisher","DOI":"10.1007\/BF01188998"},{"key":"2016052520243922000_exw011v1.25","doi-asserted-by":"crossref","unstructured":"Palmigiano, A. Sourabh, S. and Zhao. Z. J\u00f3nsson-style canonicity for ALBA inequalities. Journal of Logic and Computation Special issue on Canonicity and Correspondence for Nonclassical Logics, 2015. 10.1093\/logcom\/exv041.","DOI":"10.1093\/logcom\/exv041"},{"key":"2016052520243922000_exw011v1.26","unstructured":"Palmigiano, A. Sourabh, S. and Zhao. Z. Sahlvist theory for impossible worlds. Journal of Logic and Computation Special issue on Canonicity and Correspondence for Nonclassical Logics (forthcoming)."},{"key":"2016052520243922000_exw011v1.27","unstructured":"Santocanale. L. A duality for finite lattices. http:\/\/hal.archives-ouvertes.fr\/hal-00432113\/ PDF\/0.pdf, 2009."},{"key":"2016052520243922000_exw011v1.28","first-page":"483","article-title":"On lattices that are embeddable into lattices of suborders.","volume":"44 514","author":"V","year":"2005","journal-title":"Algebra Logika"},{"key":"2016052520243922000_exw011v1.29","unstructured":"van Benthem. J. Modal Logic and Classical Logic. Indices : Monographs in Philosophical Logic and Formal Linguistics, vol 3. Bibliopolis, 1985."}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/27\/3\/639\/13694243\/exw011.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T17:59:17Z","timestamp":1567965557000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exw011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,25]]},"references-count":29,"alternative-id":["10.1093\/logcom\/exw011"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exw011","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,5,25]]}}}