{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:37:06Z","timestamp":1740141426639,"version":"3.37.3"},"reference-count":21,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T00:00:00Z","timestamp":1558656000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/501100002341","name":"Academy of Finland","doi-asserted-by":"publisher","award":["1308664"],"award-info":[{"award-number":["1308664"]}],"id":[{"id":"10.13039\/501100002341","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,7,25]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>This paper provides a proof-theoretic study of quantified non-normal modal logics (NNML). It introduces labelled sequent calculi based on neighbourhood semantics for the first-order extension, with both varying and constant domains, of monotone NNML, and studies the role of the Barcan formulas in these calculi. It will be shown that the calculi introduced have good structural properties: invertibility of the rules, height-preserving admissibility of weakening and contraction and syntactic cut elimination. It will also be shown that each of the calculi introduced is sound and complete with respect to the appropriate class of neighbourhood frames. In particular, the completeness proof constructs a formal derivation for derivable sequents and a countermodel for non-derivable ones, and gives a semantic proof of the admissibility of cut.<\/jats:p>","DOI":"10.1093\/jigpal\/jzz015","type":"journal-article","created":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T15:22:22Z","timestamp":1555341742000},"page":"478-506","source":"Crossref","is-referenced-by-count":4,"title":["Proof theory for quantified monotone modal logics"],"prefix":"10.1093","volume":"27","author":[{"given":"Sara","family":"Negri","sequence":"first","affiliation":[{"name":"Department of Philosophy, University of Helsinki, Unioninkatu, Helsinki, Finland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugenio","family":"Orlandelli","sequence":"additional","affiliation":[{"name":"Department of Philosophy and Communication Studies, University of Bologna, via Zamboni, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2019,5,24]]},"reference":[{"key":"2019080610345865800_ref1","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1023\/A:1016339125161","article-title":"First-order extensions of classical systems of modal logic","volume":"71","author":"Arl\u00f3-Costa","year":"2002","journal-title":"Studia Logica"},{"key":"2019080610345865800_ref2","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s11225-006-9010-0","article-title":"First-order classical modal logic","volume":"84","author":"Arl\u00f3-Costa","year":"2006","journal-title":"Studia Logica"},{"article-title":"Free quantified (classical) modal logic: varying domains.","year":"2006","author":"Arl\u00f3 Costa","key":"2019080610345865800_ref3"},{"key":"2019080610345865800_ref4","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1007\/s10992-016-9410-1","article-title":"Quantification in some non-normal modal logics","volume":"46","author":"Calardo","year":"2017","journal-title":"Journal of Philosophical Logic"},{"key":"2019080610345865800_ref5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"Chellas","year":"1980"},{"key":"2019080610345865800_ref6","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1017\/bsl.2015.7","article-title":"Geometrization of first-order logic","volume":"21","author":"Dyckhoff","year":"2015","journal-title":"The Bulletin of Symbolic Logic"},{"key":"2019080610345865800_ref7","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S1570-2464(07)80005-X","article-title":"Modal proof theory","volume-title":"Handbook of Modal Logic","author":"Fitting","year":"2007"},{"key":"2019080610345865800_ref8","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/s11225-014-9556-1","article-title":"Modular sequent calculi for classical modal logics","volume":"103","author":"Gilbert","year":"2015","journal-title":"Studia Logica"},{"key":"2019080610345865800_ref9","first-page":"119","article-title":"Labelled tableaux for non-normal logics","volume-title":"In AI*IA 1999: Advances in Artificial Intelligence","author":"Governatori","year":"2000"},{"key":"2019080610345865800_ref10","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1016\/S1571-0661(04)80552-8","article-title":"The logic of risky knowledge","volume":"67","author":"Kyburg","year":"2002","journal-title":"Electronic Notes in Theoretical Computer Science"},{"volume-title":"Stone Spaces","year":"1982","author":"Johnstone","key":"2019080610345865800_ref11"},{"key":"2019080610345865800_ref12","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1007\/s10992-005-2267-3","article-title":"Proof analysis in modal logic","volume":"34","author":"Negri","year":"2005","journal-title":"Journal of Philosophical Logic"},{"key":"2019080610345865800_ref13","first-page":"241","article-title":"Proof theory for non-normal modal logics: the neighbourhood formalism and basic results","volume":"4","author":"Negri","year":"2017","journal-title":"IfCoLog Journal of Logics and their Applications"},{"key":"2019080610345865800_ref14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-24312-2_9","article-title":"A sequent calculus for preferential conditional logic based on neighbourhood semantics","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX2015)","author":"Negri","year":"2015"},{"key":"2019080610345865800_ref15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"Negri","year":"2001"},{"key":"2019080610345865800_ref16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139003513","volume-title":"Proof Analysis","author":"Negri","year":"2011"},{"key":"2019080610345865800_ref17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-08615-6_11","article-title":"Proof analysis in deontic logics","volume-title":"Deontic Logic and Normative Systems (DEON2014)","author":"Orlandelli","year":"2014"},{"key":"2019080610345865800_ref18","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","article-title":"A modal logic for coalitional power in games","volume":"12","author":"Pauly","year":"2002","journal-title":"Journal of Logic and Computation"},{"key":"2019080610345865800_ref19","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/B978-0-934613-04-0.50024-7","article-title":"On epistemic logic and logical omniscience","volume-title":"Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference","author":"Vardi","year":"1986"},{"key":"2019080610345865800_ref20","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1093\/jigpal\/11.5.557","article-title":"Qmml: quantified minimal modal logic and its application","volume":"11","author":"Stolpe","year":"2003","journal-title":"Logic Journal of the IGPL"},{"key":"2019080610345865800_ref21","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1002\/malq.19920380144","article-title":"Quantified modal logic with neighbourhood semantics","volume":"38","author":"Waagb\u00f8","year":"1992","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/advance-article-pdf\/doi\/10.1093\/jigpal\/jzz015\/28699332\/jzz015.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/27\/4\/478\/29102756\/jzz015.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T10:45:33Z","timestamp":1568976333000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/27\/4\/478\/5497473"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,24]]},"references-count":21,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2019,5,24]]},"published-print":{"date-parts":[[2019,7,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzz015","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published-other":{"date-parts":[[2019,8]]},"published":{"date-parts":[[2019,5,24]]}}}