{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T04:29:28Z","timestamp":1723004968436},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2020,3,28]],"date-time":"2020-03-28T00:00:00Z","timestamp":1585353600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,3,28]],"date-time":"2020-03-28T00:00:00Z","timestamp":1585353600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2020,10]]},"DOI":"10.1007\/s10992-019-09539-3","type":"journal-article","created":{"date-parts":[[2020,3,28]],"date-time":"2020-03-28T18:02:40Z","timestamp":1585418560000},"page":"833-882","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Intuitionistic Non-normal Modal Logics: A General Framework"],"prefix":"10.1007","volume":"49","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-7153-0506","authenticated-orcid":false,"given":"Tiziano","family":"Dalmonte","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0003-0926-7484","authenticated-orcid":false,"given":"Charles","family":"Grellois","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0001-6254-3754","authenticated-orcid":false,"given":"Nicola","family":"Olivetti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,28]]},"reference":[{"issue":"4","key":"9539_CR1","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1017\/S1755020315000209","volume":"8","author":"AJJ Anglberger","year":"2015","unstructured":"Anglberger, A.J.J., Gratzl, N., Roy, O. (2015). Obligation, free choice, and the logic of weakest permissions. The Review of Symbolic Logic, 8(4), 807\u2013827.","journal-title":"The Review of Symbolic Logic"},{"key":"9539_CR2","unstructured":"Arisaka, R., Das, A., Stra\u00dfburger, L. (2015). On nested sequents for constructive modal logics. Logical Methods in Computer Science, 11."},{"key":"9539_CR3","unstructured":"Askounis, D., Koutras, C.D., Zikos, Y. (2012). Knowledge means \u201call\u201d, belief means \u201cmost\u201d. In Logics in artificial intelligence (pp. 41\u201353): Springer."},{"key":"9539_CR4","unstructured":"Bellin, G., de Paiva, V., Ritter, E. (2001). Extended Curry-Howard correspondence for a basic constructive modal logic. In Proceedings of Methods for Modalities."},{"issue":"3","key":"9539_CR5","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1005291931660","volume":"65","author":"GM Bierman","year":"2000","unstructured":"Bierman, G.M., & de Paiva, V. (2000). On an intuitionistic modal logic. Studia Logica, 65(3), 383\u2013416.","journal-title":"Studia Logica"},{"key":"9539_CR6","doi-asserted-by":"crossref","unstructured":"Chellas, B.F. (1980). Modal logic: an introduction. Cambridge University Press.","DOI":"10.1017\/CBO9780511621192"},{"key":"9539_CR7","unstructured":"Collinson, M.J., Hilken, B.P., Rydeheard, D.E. (1999). Semantics and proof theory of an intuitionistic modal sequent calculus. University of Manchester, Department of Computer Science, Technical Report Series."},{"key":"9539_CR8","unstructured":"Dalmonte, T., Olivetti, N., Negri, S. (2018). Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi. In Proceedings of AiML 12 (pp. 159\u2013178)."},{"issue":"1","key":"9539_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1997.2627","volume":"137","author":"M Fairtlough","year":"1997","unstructured":"Fairtlough, M., & Mendler, M. (1997). Propositional lax logic. Information and Computation, 137(1), 1\u201333.","journal-title":"Information and Computation"},{"issue":"3","key":"9539_CR10","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF02121259","volume":"36","author":"G Fischer Servi","year":"1977","unstructured":"Fischer Servi, G. (1977). On modal logic with an intuitionistic base. Studia Logica, 36(3), 141\u2013149.","journal-title":"Studia Logica"},{"key":"9539_CR11","unstructured":"Fischer Servi, G. (1980). Semantics for a class of intuitionistic modal calculi. In Italian studies in the philosophy of science (pp. 59\u201372): Springer."},{"issue":"2","key":"9539_CR12","first-page":"113","volume":"7","author":"FB Fitch","year":"1948","unstructured":"Fitch, F.B. (1948). Intuitionistic modal logic with quantifiers. Portugaliae Mathematica, 7(2), 113\u2013118.","journal-title":"Portugaliae Mathematica"},{"key":"9539_CR13","unstructured":"Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyaschev, M. (2003). Many-dimensional modal logics: theory and applications. In Studies in logic and the foundations of mathematics, Vol. 148: North Holland Publishing Company."},{"issue":"5","key":"9539_CR14","doi-asserted-by":"publisher","first-page":"967","DOI":"10.1093\/logcom\/exv039","volume":"28","author":"D Galmiche","year":"2018","unstructured":"Galmiche, D., & Salhi, Y. (2018). Tree-sequent calculi and decision procedures for intuitionistic modal logics. Journal of Logic and Computation, 28(5), 967\u2013989.","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"9539_CR15","doi-asserted-by":"publisher","first-page":"373","DOI":"10.3166\/jancl.20.373-421","volume":"20","author":"D Galmiche","year":"2010","unstructured":"Galmiche, D., & Salhi, Y. (2010). Label-free natural deduction systems for intuitionistic and classical modal logics. Journal of Applied Non-Classical Logics, 20 (4), 373\u2013421.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"1","key":"9539_CR16","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/s11225-014-9556-1","volume":"103","author":"DR Gilbert","year":"2015","unstructured":"Gilbert, D.R., & Maffezioli, P. (2015). Modular sequent calculi for classical modal logics. Studia Logica, 103(1), 175\u2013217.","journal-title":"Studia Logica"},{"issue":"31-35","key":"9539_CR17","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1002\/malq.19810273104","volume":"27","author":"RI Goldblatt","year":"1981","unstructured":"Goldblatt, R.I. (1981). Grothendieck topology as geometric modality. Mathematical Logic Quarterly, 27(31-35), 495\u2013529.","journal-title":"Mathematical Logic Quarterly"},{"key":"9539_CR18","unstructured":"Hansson, S.O., & et al. (2013). The varieties of permission. In Gabbay, D. (Ed.) Handbook of deontic logic and normative systemsn (pp. 195\u2013240): College Publications."},{"key":"9539_CR19","doi-asserted-by":"crossref","unstructured":"Heilala, S., & Pientka, B. (2007). Bidirectional decision procedures for the intuitionistic propositional modal logic IS4. In Proceedings of CADE.","DOI":"10.1007\/978-3-540-73595-3_9"},{"key":"9539_CR20","doi-asserted-by":"crossref","unstructured":"Iemhoff, R. (2019). Uniform interpolation and the existence of sequent calculi. Annals of Pure and Applied Logic.","DOI":"10.1016\/j.apal.2019.05.008"},{"issue":"3","key":"9539_CR21","first-page":"151","volume":"34","author":"A Indrzejczak","year":"2005","unstructured":"Indrzejczak, A. (2005). Sequent calculi for monotonic modal logics. Bulletin of the Section of logic, 34(3), 151\u2013164.","journal-title":"Bulletin of the Section of logic"},{"issue":"3","key":"9539_CR22","first-page":"189","volume":"20","author":"A Indrzejczak","year":"2011","unstructured":"Indrzejczak, A. (2011). Admissibility of cut in congruent modal logics. Logic and Logical Philosophy, 20(3), 189\u2013203.","journal-title":"Logic and Logical Philosophy"},{"key":"9539_CR23","first-page":"87","volume":"47","author":"K Kojima","year":"2012","unstructured":"Kojima, K. (2012). Relational and neighborhood semantics for intuitionistic modal logic. Reports on Mathematical Logic, 47, 87\u2013113.","journal-title":"Reports on Mathematical Logic"},{"key":"9539_CR24","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/A:1026753129680","volume":"66","author":"R Lavendhomme","year":"2000","unstructured":"Lavendhomme, R., & Lucas, T. (2000). Sequent calculi and decision procedures for weak modal systems. Studia Logica, 66, 121\u2013145.","journal-title":"Studia Logica"},{"issue":"2","key":"9539_CR25","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/3288757","volume":"20","author":"B Lellmann","year":"2019","unstructured":"Lellmann, B., & Pimentel, E. (2019). Modularisation of sequent calculi for normal and non-normal modalities. ACM Transactions on Computational Logic (TOCL), 20 (2), 7.","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"key":"9539_CR26","first-page":"1241","volume":"4","author":"S Negri","year":"2017","unstructured":"Negri, S. (2017). Proof theory for non-normal modal logics: the neighbourhood formalism and basic results. IfColog Journal of Logics and their Applications, 4, 1241\u20131286.","journal-title":"IfColog Journal of Logics and their Applications"},{"key":"9539_CR27","unstructured":"Orlandelli, E. (2019). Sequent calculi and interpolation for non-normal logics. arXiv:1903.11342."},{"key":"9539_CR28","unstructured":"Marin, S., & Stra\u00dfburger, L. (2014). Label-free modular systems for classical and intuitionistic modal logics. In Proceedings of AiML 10."},{"key":"9539_CR29","unstructured":"McNamara, P. (2006). Deontic logic. In Gabbay, & Woods (Eds.) Handbook of the history of logic, (Vol. 7 pp. 197\u2013288): Elsevier."},{"key":"9539_CR30","unstructured":"Mendler, M., & de Paiva, V. (2005). Constructive CK for contexts. In Proceedings of CONTEXT05. Stanford."},{"issue":"12","key":"9539_CR31","doi-asserted-by":"publisher","first-page":"1465","DOI":"10.1016\/j.ic.2011.10.003","volume":"209","author":"M Mendler","year":"2011","unstructured":"Mendler, M., & Scheele, S. (2011). Cut-free Gentzen calculus for multimodal CK. Information and Computation, 209(12), 1465\u20131490.","journal-title":"Information and Computation"},{"issue":"3","key":"9539_CR32","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","volume":"36","author":"R Montague","year":"1970","unstructured":"Montague, R. (1970). Universal grammar. Theoria, 36(3), 373\u2013398.","journal-title":"Theoria"},{"key":"9539_CR33","doi-asserted-by":"crossref","unstructured":"Pacuit, E. (2017). Neighborhood semantics for modal logic. Springer.","DOI":"10.1007\/978-3-319-67149-9"},{"key":"9539_CR34","unstructured":"Scott, D. (1970). Advice in modal logic. In Lambert, K (Ed.) Philosophical problems in logic (pp. 143\u2013173): D. Reidel Publishing Company."},{"key":"9539_CR35","unstructured":"Simpson, A.K. (1994). The proof theory and semantics of intuitionistic modal logic. PhD thesis, School of Informatics, University of Edinburgh."},{"key":"9539_CR36","unstructured":"Stra\u00dfburger, L. (2013). Cut elimination in nested sequents for intuitionistic modal logics. In International conference on foundations of software science and computational structures (pp. 209\u2013224): Springer."},{"issue":"5","key":"9539_CR37","doi-asserted-by":"publisher","first-page":"873","DOI":"10.1093\/logcom\/exv042","volume":"28","author":"C Stewart","year":"2018","unstructured":"Stewart, C., de Paiva, V., Alechina, N. (2018). Intuitionistic modal logic: a 15-year retrospective. Journal of Logic and Computation, 28(5), 873\u2013882.","journal-title":"Journal of Logic and Computation"},{"key":"9539_CR38","doi-asserted-by":"crossref","unstructured":"Troelstra, A.S., & Schwichtenberg, H. (2000). Basic proof theory. Cambridge University Press.","DOI":"10.1017\/CBO9781139168717"},{"key":"9539_CR39","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0168-0072(90)90059-B","volume":"50","author":"D Wijesekera","year":"1990","unstructured":"Wijesekera, D. (1990). Constructive modal logics I. Annals of Pure and Applied Logic, 50, 271\u2013301.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1-3","key":"9539_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.apal.2004.12.001","volume":"135","author":"D Wijesekera","year":"2005","unstructured":"Wijesekera, D., & Nerode, A. (2005). Tableaux for constructive concurrent dynamic logic. Annals of Pure and Applied Logic, 135(1-3), 1\u201372.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9539_CR41","unstructured":"Witczak, T. (2018). Simple example of weak modal logic based on intuitionistic core. arXiv:1806.09443."},{"key":"9539_CR42","unstructured":"Wolter, F., & Zakharyaschev, M. (1999). Intuitionistic modal logic. In Logic and foundations of mathematics (pp. 227\u2013238): Springer."},{"key":"9539_CR43","unstructured":"von Wright, G.H. (1963). Norm and action: a logical enquiry. Routledge."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-019-09539-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-019-09539-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-019-09539-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,28]],"date-time":"2021-03-28T00:33:21Z","timestamp":1616891601000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-019-09539-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,28]]},"references-count":43,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2020,10]]}},"alternative-id":["9539"],"URL":"https:\/\/doi.org\/10.1007\/s10992-019-09539-3","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,3,28]]},"assertion":[{"value":"26 February 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 November 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 March 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}