{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:32Z","timestamp":1706649032084},"reference-count":18,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2012,1,1]]},"DOI":"10.1215\/00294527-1722773","type":"journal-article","created":{"date-parts":[[2012,11,8]],"date-time":"2012-11-08T14:20:17Z","timestamp":1352384417000},"source":"Crossref","is-referenced-by-count":1,"title":["Minimally Congruential Contexts: Observations and Questions on Embedding E in K"],"prefix":"10.1215","volume":"53","author":[{"given":"Lloyd","family":"Humberstone","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Chellas, B. F., <i>Modal Logic: An Introduction<\/i>, Cambridge University Press, Cambridge, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Brown, M. A., \u201cOn the logic of ability,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 17 (1988), pp. 1\u201326.","DOI":"10.1007\/BF00249673"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] French, R., \u201cA simplified embedding of E into monomodal K,\u201d <i>Logic Journal of the IGPL<\/i>, vol. 17 (2009), pp. 421\u201328.","DOI":"10.1093\/jigpal\/jzp024"},{"key":"4","unstructured":"[4] French, R., \u201cTranslational embeddings in modal logic,\u201d Ph.D. dissertation, Monash University, Melbourne, Australia, 2010."},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Gasquet, O., and A. Herzig, \u201cTranslating inaccessible worlds logic into bimodal logic,\u201d pp. 145\u201350 in <i>Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Granada, 1993)<\/i>, edited by M. Clarke, R. Kruse, and S. Moral, vol. 747 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 1993.","DOI":"10.1007\/BFb0028194"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Gasquet, O., and A. Herzig, \u201cFrom classical to normal modal logics,\u201d pp. 293\u2013311 in <i>Proof Theory of Modal Logic (Hamburg, 1993)<\/i>, edited by H. Wansing, vol. 3 of <i>Applied Logic Series<\/i>, Kluwer, Dordrecht, 1996.","DOI":"10.1007\/978-94-017-2798-3_15"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Humberstone, L., and T. Williamson, \u201cInverses for normal modal operators,\u201d <i>Studia Logica<\/i>, vol. 59 (1997), pp. 33\u201364.","DOI":"10.1023\/A:1004995316790"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Jennings, R. E., and P. K. Schotch, \u201cSome remarks on (weakly) weak modal logics,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 22 (1981), pp. 309\u201314.","DOI":"10.1305\/ndjfl\/1093883512"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Kracht, M., \u201cModal consequence relations,\u201d pp. 491\u2013545 in <i>Handbook of Modal Logic<\/i>, edited by P. Blackburn, J. van Benthem, and F. Wolter, vol. 3 of <i>Studies in Logic and Practical Reasoning<\/i>, Elsevier, Amsterdam, 2007.","DOI":"10.1016\/S1570-2464(07)80011-5"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Kracht, M., and F. Wolter, \u201cNormal monomodal logics can simulate all others,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 64 (1999), pp. 99\u2013138.","DOI":"10.2307\/2586754"},{"key":"11","unstructured":"[11] Lemmon, E. J., <i>Beginning Logic<\/i>, revised edition, edited by G. W. D. Berry, Hackett, Indianapolis, 1978."},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] Maksimova, L. L., \u201cThe principle of separation of variables in propositional logics\u201d (in Russian), <i>Algebra i Logika<\/i>, vol. 15 (1976), pp. 168\u201384.","DOI":"10.1007\/BF01877235"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] McKee, T. A., \u201cGeneralized equivalence: A pattern of mathematical expression,\u201d <i>Studia Logica<\/i>, vol. 44 (1985), pp. 285\u201389.","DOI":"10.1007\/BF00394447"},{"key":"14","unstructured":"[14] Segerberg, K., <i>Classical Propositional Operators: An Exercise in the Foundations of Logic<\/i>, vol. 5 of <i>Oxford Logic Guides<\/i>, Oxford University Press, New York, 1982."},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Williamson, T., \u201cAn alternative rule of disjunction in modal logic,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 33 (1992), pp. 89\u2013100.","DOI":"10.1305\/ndjfl\/1093636011"},{"key":"16","unstructured":"[16] Williamson, T., <i>Probability and Danger<\/i>, vol. 4 of <i>The Amherst Lecture in Philosophy<\/i>, Department of Philosophy, Amherst College, Amherst, Mass., 2009."},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] W\u00f3jcicki, R., <i>Theory of Logical Calculi: Basic Theory of Consequence Operations<\/i>, vol. 199 of <i>Synthese Library<\/i>, Kluwer, Dordrecht, 1988.","DOI":"10.1007\/978-94-015-6942-2"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] Zolin, E. E., \u201cEmbeddings of propositional monomodal logics,\u201d <i>Logic Journal of the IGPL<\/i>, vol. 8 (2000), pp. 861\u201382.","DOI":"10.1093\/jigpal\/8.6.861"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1722773","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:59Z","timestamp":1706648279000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-4\/Minimally-Congruential-Contexts--Observations-and-Questions-on-Embedding-E\/10.1215\/00294527-1722773.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":18,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1722773","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}