{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T09:33:15Z","timestamp":1776936795873,"version":"3.51.4"},"reference-count":63,"publisher":"Informa UK Limited","issue":"1-2","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2017,4,3]]},"DOI":"10.1080\/11663081.2017.1368846","type":"journal-article","created":{"date-parts":[[2017,11,10]],"date-time":"2017-11-10T06:37:07Z","timestamp":1510295827000},"page":"106-139","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":6,"title":["Judgement aggregation in non-classical logics"],"prefix":"10.1080","volume":"27","author":[{"given":"Daniele","family":"Porello","sequence":"first","affiliation":[{"name":"Free University of Bozen-Bolzano, Bolzano, Italy."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2017,11,10]]},"reference":[{"key":"e_1_3_4_2_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19900360103"},{"key":"e_1_3_4_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-009-9115-8"},{"key":"e_1_3_4_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10670-011-9356-1"},{"key":"e_1_3_4_5_1","series-title":"The logic of relevance and necessity","volume-title":"Entailment","author":"Anderson A. R.","year":"1992","unstructured":"Anderson, A. R., Belnap, N. D., Jr, Dunn, J. M., et al. (1992). Entailment. The logic of relevance and necessity (Vol. II) Princeton, NJ: Princeton University Press."},{"key":"e_1_3_4_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-009-9116-7"},{"key":"e_1_3_4_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2011.09.003"},{"key":"e_1_3_4_8_1","first-page":"1009","volume-title":"Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4--8, 2015","author":"Cin\u00e1 G.","year":"2015","unstructured":"Cin\u00e1, G., & Endriss, U. (2015). A syntactic proof of arrow\u2019s theorem in a modal logic of social choice functions. Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4--8, 2015 (pp. 1009\u20131017)."},{"key":"e_1_3_4_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00355-006-0187-y"},{"key":"e_1_3_4_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jet.2007.11.003"},{"key":"e_1_3_4_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jet.2015.03.012"},{"key":"e_1_3_4_12_1","doi-asserted-by":"publisher","DOI":"10.1177\/0951629807080775"},{"key":"e_1_3_4_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00355-007-0260-1"},{"key":"e_1_3_4_14_1","volume-title":"Working paper","author":"Dietrich F.","year":"2009","unstructured":"Dietrich, F., & List, C. (2009). Judgment aggregation with consistency alone. Working paper. London School of Economics."},{"key":"e_1_3_4_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jet.2010.01.011"},{"key":"e_1_3_4_16_1","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198505242.001.0001"},{"key":"e_1_3_4_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0460-1_1"},{"key":"e_1_3_4_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107446984.018"},{"key":"e_1_3_4_19_1","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-419-0-291"},{"key":"e_1_3_4_20_1","doi-asserted-by":"publisher","DOI":"10.65109\/ZLBW9518"},{"key":"e_1_3_4_21_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.3708"},{"key":"e_1_3_4_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48561-3_7"},{"key":"e_1_3_4_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01201353"},{"key":"e_1_3_4_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_3_4_25_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511629150"},{"key":"e_1_3_4_26_1","volume-title":"volume 7 of Cambridge tracts in theoretical computer science","author":"Girard J.-Y.","year":"1989","unstructured":"Girard, J.-Y., Lafont, Y., & Taylor, P. (1989). Proofs and types, volume 7 of Cambridge tracts in theoretical computer science. Cambridge: Cambridge University Press."},{"key":"e_1_3_4_27_1","doi-asserted-by":"publisher","DOI":"10.65109\/WBSS7741"},{"key":"e_1_3_4_28_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00559ED1V01Y201312AIM027"},{"key":"e_1_3_4_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-011-9188-0"},{"key":"e_1_3_4_30_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/ext009"},{"key":"e_1_3_4_31_1","first-page":"784","volume-title":"ACM Transactions on. Computational Logic","author":"Hughes D. J. D.","year":"2003","unstructured":"Hughes, D. J. D., & van Glabbeek, R. J. (2003). Proof nets for unit-free multiplicative-additive linear logic. ACM Transactions on. Computational Logic, 6, 784\u2013842."},{"key":"e_1_3_4_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-011-9175-5"},{"key":"e_1_3_4_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1995.523283"},{"key":"e_1_3_4_34_1","doi-asserted-by":"publisher","DOI":"10.2307\/3480783"},{"key":"e_1_3_4_35_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1958.11989160"},{"key":"e_1_3_4_36_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0266267102001098"},{"key":"e_1_3_4_37_1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199591565.001.0001"},{"key":"e_1_3_4_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jet.2010.02.001"},{"key":"e_1_3_4_39_1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199290420.003.0020"},{"key":"e_1_3_4_40_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511520006"},{"key":"e_1_3_4_41_1","first-page":"40","volume-title":"Proceedings of the 3rd International Workshop on Artificial Intelligence and Cognition, Turin, Italy, September 28--29, 2015","author":"Masolo C.","year":"2015","unstructured":"Masolo, C., & Porello, D. (2015). A cognitive view of relevant implication. Proceedings of the 3rd International Workshop on Artificial Intelligence and Cognition, Turin, Italy, September 28--29, 2015 (pp. 40\u201353)."},{"key":"e_1_3_4_42_1","doi-asserted-by":"publisher","DOI":"10.2307\/1907651"},{"key":"e_1_3_4_43_1","volume-title":"Proof theory for fuzzy logics","author":"Metcalfe G.","year":"2008","unstructured":"Metcalfe, G., Olivetti, N., & Gabbay, D. M. (2008). Proof theory for fuzzy logics, Vol. 36. Dordrecht: Springer Science & Business Media."},{"key":"e_1_3_4_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11238-012-9310-y"},{"key":"e_1_3_4_45_1","volume-title":"Structural proof theory","author":"Negri S.","year":"2008","unstructured":"Negri, S., Von Plato, J., & Ranta, A. (2008). Structural proof theory. Cambridge: Cambridge University Press."},{"key":"e_1_3_4_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jet.2006.04.008"},{"key":"e_1_3_4_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00355-007-0261-0"},{"key":"e_1_3_4_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-3179-9"},{"key":"e_1_3_4_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-006-9079-z"},{"key":"e_1_3_4_50_1","first-page":"1","article-title":"Natural deduction for modal logic of judgment aggregation","author":"Perkov T.","year":"2016","unstructured":"Perkov, T. (2016). Natural deduction for modal logic of judgment aggregation. Journal of Logic, Language and Information, 1\u201320.","journal-title":"Journal of Logic, Language and Information"},{"key":"e_1_3_4_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-006-9063-7"},{"key":"e_1_3_4_52_1","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-098-7-921"},{"key":"e_1_3_4_53_1","volume-title":"IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3--9, 2013","author":"Porello D.","year":"2013","unstructured":"Porello, D. (2013). A proof-theoretical view of collective rationality. IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3--9, 2013."},{"key":"e_1_3_4_54_1","first-page":"148","volume-title":"Proceedings of the European Conference on Social Intelligence (ECSI-2014), Barcelona, Spain, November 3--5, 2014","author":"Porello D.","year":"2014","unstructured":"Porello, D. (2014). Logics for collective reasoning. Proceedings of the European Conference on Social Intelligence (ECSI-2014), Barcelona, Spain, November 3--5, 2014 (pp. 148\u2013159)."},{"key":"e_1_3_4_55_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. Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2010). Toronto, Ontario, Canada: AAAI Press."},{"key":"e_1_3_4_56_1","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-60750-606-5-381"},{"key":"e_1_3_4_57_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exs056"},{"key":"e_1_3_4_58_1","volume-title":"The semantics and proof theory of the logic of bunched implications","author":"Pym D. J.","year":"2013","unstructured":"Pym, D. J. (2013). The semantics and proof theory of the logic of bunched implications, Vol. 26. Dordrecht: Springer Science & Business Media."},{"key":"e_1_3_4_59_1","doi-asserted-by":"publisher","DOI":"10.4324\/9780203016244"},{"key":"e_1_3_4_60_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1874-5857(06)80030-0"},{"key":"e_1_3_4_61_1","series-title":"CSLI lecture notes, Center for the Study of Language and Information","volume-title":"Lectures on linear logic","author":"Troelstra A.","year":"1992","unstructured":"Troelstra, A. (1992). Lectures on linear logic. CSLI lecture notes, Center for the Study of Language and Information. Cambridge: Cambridge University Press."},{"key":"e_1_3_4_62_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168717"},{"key":"e_1_3_4_63_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzm012"},{"key":"e_1_3_4_64_1","article-title":"Judgment aggregation in nonmonotonic logic","author":"Wen X.","unstructured":"Wen, X. (in press). Judgment aggregation in nonmonotonic logic, Synthese.","journal-title":"Synthese"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2017.1368846","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T19:18:25Z","timestamp":1768936705000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2017.1368846"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,3]]},"references-count":63,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2017,4,3]]}},"alternative-id":["10.1080\/11663081.2017.1368846"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2017.1368846","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,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":"2017-03-10","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-07-19","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-11-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}