{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T12:20:22Z","timestamp":1769775622491,"version":"3.49.0"},"reference-count":48,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2015,7,3]]},"DOI":"10.1080\/11663081.2015.1080422","type":"journal-article","created":{"date-parts":[[2015,11,20]],"date-time":"2015-11-20T02:59:41Z","timestamp":1447988381000},"page":"229-255","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":4,"title":["Non-normal modalities in variants of linear logic"],"prefix":"10.1080","volume":"25","author":[{"given":"D.","family":"Porello","sequence":"first","affiliation":[{"name":",","place":["Italy"]}]},{"given":"N.","family":"Troquard","sequence":"additional","affiliation":[{"name":",","place":["France"]}]}],"member":"301","published-online":{"date-parts":[[2015,11,19]]},"reference":[{"key":"e_1_3_3_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(99)00014-7"},{"key":"e_1_3_3_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-006-9010-0"},{"key":"e_1_3_3_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90037-0"},{"key":"e_1_3_3_5_1","first-page":"230","volume-title":"Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2\u20135, 1997, proceedings","author":"B\u00e9chet D.","year":"1997","unstructured":"B\u00e9chet, D., de Groote, P., & Retor\u00e9, C. (1997). A complete axiomatisation for the in-clusion of series-parallel partial orders. In H., Comon (Ed.), Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2\u20135, 1997, proceedings. (pp. 230\u2013240). Berlin Heidelberg: Springer."},{"key":"e_1_3_3_6_1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the future: Agents and choices in our indeterminist world","author":"Belnap N.","year":"2001","unstructured":"Belnap, N., Perloff, M., & Xu, M. (2001). Facing the future: Agents and choices in our indeterminist world. Oxford: Oxford University Press."},{"key":"e_1_3_3_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0037099"},{"key":"e_1_3_3_8_1","first-page":"23","volume-title":"Formal Ontology in Information Systems: Proceedings of the Eighth International Conference, FOIS 2014, September, 22\u201325, 2014, Rio de Janeiro, Brazil","author":"Borgo S.","year":"2014","unstructured":"Borgo, S., Porello, D., & Troquard, N. (2014). Logical operators for ontological modeling. In P. Garbacz & O. Kutz (Eds.), Formal Ontology in Information Systems: Proceedings of the Eighth International Conference, FOIS 2014, September, 22\u201325, 2014, Rio de Janeiro, Brazil (pp. 23\u201336). Amsterdam, The Netherlands: IOS Press"},{"key":"e_1_3_3_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-51667-1.50015-X"},{"key":"e_1_3_3_10_1","volume-title":"The logical form of imperatives","author":"Chellas B.","year":"1969","unstructured":"Chellas, B. (1969). The logical form of imperatives. Stanford, CA: Perry Lane Press."},{"key":"e_1_3_3_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192"},{"key":"e_1_3_3_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01028972"},{"key":"e_1_3_3_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35722-0_10"},{"key":"e_1_3_3_14_1","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1023\/A:1004947400860","article-title":"Grafting modalities onto sub-structural implication systems","volume":"59","author":"D\u2018Agostino, M., Gabbay, D. M., & Russo, A.","year":"1997","unstructured":"D\u2018Agostino, M., Gabbay, D. M., & Russo, A. (1997). Grafting modalities onto sub-structural implication systems. Studia Logica, 59, 65\u2013102.","journal-title":"Studia Logica"},{"key":"e_1_3_3_15_1","first-page":"199","volume-title":"Third Roma Workshop: Proofs and Linguistics Categories -- Applications of Logic to the Analysis and Implementation of Natural Language","author":"De Groote P.","year":"1996","unstructured":"De Groote, P. (1996). Partially commutative linear logic: Sequent calculus and phase semantics. In Abrusci & Casadio (Eds.), Third Roma Workshop: Proofs and Linguistics Categories -- Applications of Logic to the Analysis and Implementation of Natural Language (pp. 199\u2013208). Bologna: Clueb."},{"issue":"2","key":"e_1_3_3_16_1","first-page":"1","article-title":"The modal logic of agency","volume":"2","author":"Elgesem D.","year":"1997","unstructured":"Elgesem, D. (1997). The modal logic of agency. Nordic Journal of Philosophical Logic, 2(2), 1\u201346.","journal-title":"Nordic Journal of Philosophical Logic"},{"key":"e_1_3_3_17_1","first-page":"289","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004)","author":"Garbacz P.","year":"2004","unstructured":"Garbacz, P. (2004). The four dimensions of artifacts. In D. Dubois, C.A. Welty, & M.-A. Williams (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004). (pp. 289\u2013299). Palo Alto, CA: AAAI Press."},{"key":"e_1_3_3_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_3_3_19_1","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/092\/1003197"},{"key":"e_1_3_3_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-004-6368-1"},{"key":"e_1_3_3_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/544862.544957"},{"key":"e_1_3_3_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-3900-2"},{"key":"e_1_3_3_23_1","first-page":"123","article-title":"A simplified semantics for a fragment of intuitionistic linear logic","volume":"32","author":"Kamide N.","year":"2003","unstructured":"Kamide, N. (2003). A simplified semantics for a fragment of intuitionistic linear logic. Bulletin of the Section of Logic, 32, 123\u2013129.","journal-title":"Bulletin of the Section of Logic"},{"key":"e_1_3_3_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.10.043"},{"key":"e_1_3_3_25_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1966.tb00594.x"},{"key":"e_1_3_3_26_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129505005062"},{"key":"e_1_3_3_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129501003413"},{"key":"e_1_3_3_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-3940-6"},{"key":"e_1_3_3_29_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1958.11989160"},{"key":"e_1_3_3_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(92)90075-B"},{"key":"e_1_3_3_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90111-2"},{"key":"e_1_3_3_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-2808-3_17"},{"key":"e_1_3_3_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40564-8_42"},{"key":"e_1_3_3_34_1","doi-asserted-by":"crossref","first-page":"215","DOI":"10.2307\/421090","article-title":"The logic of bunched implications","volume":"5","author":"O\u2019Hearn, P. W., & Pym, D. J.,","year":"1999","unstructured":"O\u2019Hearn, P. W., & Pym, D. J., (1999). The logic of bunched implications. Bulletin of Symbolic Logic, 5, 215\u2013244.","journal-title":"Bulletin of Symbolic Logic"},{"key":"e_1_3_3_35_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/12.1.149"},{"key":"e_1_3_3_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-04-0.50032-6"},{"key":"e_1_3_3_37_1","volume-title":"IJCAI 2013: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3\u20139, 2013","author":"Porello D.","year":"2013","unstructured":"Porello, D. (2013). A proof-theoretical view of collective rationality. In F. Rossi (Ed.), IJCAI 2013: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3\u20139, 2013. Palo Alto, CA: {AAAI} Press."},{"key":"e_1_3_3_38_1","volume-title":"Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2010)","author":"Porello D.","year":"2010","unstructured":"Porello, D., & Endriss, U. (2010a). Modelling combinatorial auctions in linear logic. In F. Lin, U. Sattler & M. Truszczynski (Eds.), Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2010) Palo Alto, CA: AAAI Press."},{"key":"e_1_3_3_39_1","first-page":"381","volume-title":"ECAI 2010: 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16\u201320, 2010, proceedings","author":"Porello D.","year":"2010","unstructured":"Porello, D., & Endriss, U. (2010b). Modelling multilateral negotiation in linear logic. In H. Coelho, R. Studer, & M. Wooldridge (Eds.), ECAI 2010: 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16\u201320, 2010, proceedings (pp. 381\u2013386). Amsterdam, The Netherlands: IOS Press."},{"key":"e_1_3_3_40_1","first-page":"723","volume-title":"ECAI 2014: 21st European Conference on Artificial Intelligence, 18\u201322 August 2014, Prague, Czech Republic, including Prestigious Applications of Intelligent Systems (PAIS 2014)","author":"Porello D.","year":"2014","unstructured":"Porello, D., & Troquard, N. (2014). A resource-sensitive logic of agency. In T. Schaub, G. Friedrich, & B. O\u2019Sullivan (Eds.), ECAI 2014: 21st European Conference on Artificial Intelligence, 18\u201322 August 2014, Prague, Czech Republic, including Prestigious Applications of Intelligent Systems (PAIS 2014). (pp. 723\u2013728). Amsterdam, The Netherlands: IOS Press."},{"key":"e_1_3_3_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-1268-3"},{"key":"e_1_3_3_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.11.020"},{"key":"e_1_3_3_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-006-0018-z"},{"key":"e_1_3_3_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-62688-3_43"},{"key":"e_1_3_3_45_1","unstructured":"Simpson A. K. (1994). University of Edinburgh UK: The proof theory and semantics of intuitionistic modal logic (Unpublished doctoral dissertation)."},{"key":"e_1_3_3_46_1","volume-title":"Lectures on linear logic","author":"Troelstra A. S.","year":"1992","unstructured":"Troelstra, A. S. (1992). Lectures on linear logic. Stanford, CA: CSLI."},{"key":"e_1_3_3_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-013-9229-x"},{"key":"e_1_3_3_48_1","doi-asserted-by":"publisher","DOI":"10.2307\/2272559"},{"key":"e_1_3_3_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-04-0.50024-7"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2015.1080422","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T21:23:22Z","timestamp":1769721802000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2015.1080422"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,3]]},"references-count":48,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,7,3]]}},"alternative-id":["10.1080\/11663081.2015.1080422"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2015.1080422","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7,3]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2015-03-05","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-07-11","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-11-19","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}