{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:59:38Z","timestamp":1759147178819},"reference-count":21,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1093\/logcom\/exv048","type":"journal-article","created":{"date-parts":[[2015,7,22]],"date-time":"2015-07-22T00:29:43Z","timestamp":1437524983000},"page":"201-212","source":"Crossref","is-referenced-by-count":7,"title":["A modal logic amalgam of classical and intuitionistic propositional logic"],"prefix":"10.1093","volume":"27","author":[{"given":"Steffen","family":"Lewitzka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2015,7,20]]},"reference":[{"key":"2017012307250552000_27.1.201.1","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-3521-7_3"},{"key":"2017012307250552000_27.1.201.2","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093890617"},{"key":"2017012307250552000_27.1.201.3","doi-asserted-by":"publisher","DOI":"10.1007\/s11787-006-0004-5"},{"key":"2017012307250552000_27.1.201.4","unstructured":"W. Carnielli and M. E. Coniglio. Combining Logics. The Stanford Encyclopedia of Philosophy (Winter 2011 edn), Edward N. Zalta (ed.), http:\/\/plato.stanford.edu\/archives\/win2011\/entries\/logic-combining\/."},{"key":"2017012307250552000_27.1.201.5","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1190150298"},{"key":"2017012307250552000_27.1.201.6","doi-asserted-by":"crossref","unstructured":"L. F. del Cerro and A. Herzig. Combining classical and intuitionistic logic, or: intuitionistic implication as a conditional. In Frontiers of Combining Systems: Proceedings of the 1st International Workshop, Munich (Germany), vol. 3 of Applied Logic Series, F. Baader and K. Schulz, eds., pp. 93\u2013102, Kluwer Academic Publishers, 1996.","DOI":"10.1007\/978-94-009-0349-4_4"},{"key":"2017012307250552000_27.1.201.7","doi-asserted-by":"crossref","unstructured":"van Dalen D. Logic and Structure, 4th edn, Springer, 2004.","DOI":"10.1007\/978-3-540-85108-0"},{"key":"2017012307250552000_27.1.201.8","doi-asserted-by":"publisher","DOI":"10.2307\/2275807"},{"key":"2017012307250552000_27.1.201.9","doi-asserted-by":"crossref","unstructured":"D. Gabbay. An overview of fibred semantics and the combination of logics. In Frontiers of Combining Systems: Proceedings of the 1st International Workshop, Munich (Germany), vol. 3 of Applied Logic Series, F. Baader and K. Schulz, eds, pp. 1\u201355, Kluwer Academic Publishers, 1996.","DOI":"10.1007\/978-94-009-0349-4_1"},{"key":"2017012307250552000_27.1.201.10","doi-asserted-by":"crossref","unstructured":"Gabbay D. Fibring Logics. Oxford University Press, 1999.","DOI":"10.1093\/oso\/9780198503811.001.0001"},{"key":"2017012307250552000_27.1.201.11","unstructured":"K. G\u00f6del. Eine Interpretation des intuitionistischen Aussagenkalk\u00fcls. Ergebnisse eines Mathematischen Kolloquiums, 4, 39\u201340, 1933. English translation in: S. Feferman et al., eds, Kurt G\u00f6del Collected Works, vol. 1, pp. 301\u2013303. Oxford University Press, Clarendon Press 1986."},{"key":"2017012307250552000_27.1.201.12","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-2009-012"},{"key":"2017012307250552000_27.1.201.13","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzr050"},{"key":"2017012307250552000_27.1.201.14","doi-asserted-by":"crossref","unstructured":"Lewitzka S. Algebraic semantics for a modal logic close to S1. Journal of Logic and Computation, published online 2014, doi:10.1093\/logcom\/exu067.","DOI":"10.1093\/logcom\/exu067"},{"key":"2017012307250552000_27.1.201.15","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-014-9577-9"},{"key":"2017012307250552000_27.1.201.16","doi-asserted-by":"publisher","DOI":"10.2307\/2268135"},{"key":"2017012307250552000_27.1.201.17","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/978-3-0346-0145-0_7","article-title":"On G\u00f6del's modal interpretation of intuitionistic logic","volume-title":"Universal Logic: An Anthology from Paul Hertz to Dov Gabbay","volume":"XVII","author":"D'Ottaviano","year":"2012"},{"key":"2017012307250552000_27.1.201.18","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp023"},{"key":"2017012307250552000_27.1.201.19","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp024"},{"key":"2017012307250552000_27.1.201.20","doi-asserted-by":"publisher","DOI":"10.1007\/s11787-011-0032-7"},{"key":"2017012307250552000_27.1.201.21","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exr035"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/27\/1\/201\/9688377\/exv048.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T03:38:07Z","timestamp":1717990687000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exv048"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,20]]},"references-count":21,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2017,1,23]]},"published-print":{"date-parts":[[2017,2]]}},"alternative-id":["10.1093\/logcom\/exv048"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exv048","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7,20]]}}}