{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,5]],"date-time":"2024-06-05T20:12:27Z","timestamp":1717618347552},"reference-count":44,"publisher":"Oxford University Press (OUP)","issue":"5","license":[{"start":{"date-parts":[[2021,6,11]],"date-time":"2021-06-11T00:00:00Z","timestamp":1623369600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,9,15]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>In the first part of this paper we analyzed finite non-deterministic matrix semantics for propositional non-normal modal logics as an alternative to the standard Kripke possible world semantics. This kind of modal system characterized by finite non-deterministic matrices was originally proposed by Ju. Ivlev in the 70s. The aim of this second paper is to introduce a formal non-deterministic semantical framework for the quantified versions of some Ivlev-like non-normal modal logics. It will be shown that several well-known controversial issues of quantified modal logics, relative to the identity predicate, Barcan\u2019s formulas and de re and de dicto modalities, can be tackled from a new angle within the present framework.<\/jats:p>","DOI":"10.1093\/jigpal\/jzab020","type":"journal-article","created":{"date-parts":[[2021,5,12]],"date-time":"2021-05-12T11:29:00Z","timestamp":1620818940000},"page":"695-727","source":"Crossref","is-referenced-by-count":4,"title":["Modal Logic With Non-Deterministic Semantics: Part II\u2014Quantified Case"],"prefix":"10.1093","volume":"30","author":[{"given":"Marcelo E","family":"Coniglio","sequence":"first","affiliation":[{"name":"Institute of Philosophy and the Humanities and Centre for Logic , Epistemology and The History of Science, University of Campinas, Campinas, SP, 13083-896, Brazil"}]},{"given":"Luis","family":"Fari\u00f1asdelcerro","sequence":"additional","affiliation":[{"name":"IRIT , Universit\u00e9 de Toulouse, CNRS, F-31062 Toulouse, Cedex 9, France"}]},{"given":"Newton Marques","family":"Peron","sequence":"additional","affiliation":[{"name":"Graduate Program in Philosophy , Federal University of Southern Frontier, Chapec\u00f3, SC, 89815-899, Brazil"}]}],"member":"286","published-online":{"date-parts":[[2021,6,11]]},"reference":[{"key":"2023063007194759800_ref1","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/s11787-006-0003-6","article-title":"Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics","volume":"1","author":"Avron","year":"2007","journal-title":"Logica Universalis"},{"key":"2023063007194759800_ref2","first-page":"529","article-title":"Canonical propositional Gentzen-type systems","volume-title":"Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR \u201801)","author":"Avron","year":"2001"},{"key":"2023063007194759800_ref3","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1093\/logcom\/exi001","article-title":"Non-deterministic multi-valued structures","volume":"15","author":"Avron","year":"2005","journal-title":"Journal of Logic and Computation"},{"key":"2023063007194759800_ref4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-75939-3_1","article-title":"Many-valued non-deterministic semantics for first-order logics of formal (in)consistency","volume-title":"Algebraic and Proof-Theoretic Aspects of Non-Classical Logics","author":"Avron","year":"2007"},{"key":"2023063007194759800_ref5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2269159","article-title":"A functional calculus of first order based on strict implication","volume":"11","author":"Barcan","year":"1946","journal-title":"Journal of Symbolic Logic"},{"key":"2023063007194759800_ref6","doi-asserted-by":"crossref","first-page":"12","DOI":"10.2307\/2267171","article-title":"The identity of individuals in a strict functional calculus of second order","volume":"12","author":"Barcan","year":"1947","journal-title":"Journal of Symbolic Logic"},{"key":"2023063007194759800_ref7","article-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Modal Logic","author":"Blackburn","year":"2002"},{"key":"2023063007194759800_ref8","volume-title":"Meaning and Necessity","author":"Carnap","year":"1947"},{"key":"2023063007194759800_ref9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-8590-1","article-title":"Logic, Epistemology, and the Unity of Science","volume-title":"Modalities and Multimodalities","author":"Carnielli","year":"2008"},{"key":"2023063007194759800_ref10","volume-title":"Model Theory","author":"Chang","year":"1990"},{"key":"2023063007194759800_ref11","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1080\/11663081.2015.1011543","article-title":"Finite non-deterministic semantics for some modal systems","volume":"25","author":"Coniglio","year":"2015","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2023063007194759800_ref12","first-page":"1","article-title":"Errata and addenda to \u2018Finite non-deterministic semantics for some modal systems\u2019","volume":"26","author":"Coniglio","year":"2017","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2023063007194759800_ref13","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1093\/jigpal\/jzz027","article-title":"Modal logic with non-deterministic semantics: part I\u2014propositional case","volume":"28","author":"Coniglio","year":"2020","journal-title":"Logic Journal of the IGPL"},{"key":"2023063007194759800_ref14","doi-asserted-by":"crossref","first-page":"1257","DOI":"10.1093\/logcom\/exaa027","article-title":"First-order swap structures semantics for some logics of formal inconsistency","volume":"30","author":"Coniglio","year":"2020","journal-title":"Journal of Logic and Computation"},{"key":"2023063007194759800_ref15","doi-asserted-by":"crossref","first-page":"2243","DOI":"10.1007\/s00500-018-03707-4","article-title":"Swap structures semantics for Ivlev-like modal logics","volume":"23","author":"Coniglio","year":"2019","journal-title":"Soft Computing"},{"key":"2023063007194759800_ref16","first-page":"286","article-title":"A non-deterministic semantics for tractable inference","volume-title":"Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, AAAI 98, IAAI 98, July 26\u201330, 1998, Madison, Wisconsin, USA","author":"Crawford","year":"1998"},{"key":"2023063007194759800_ref17","volume-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"2001"},{"key":"2023063007194759800_ref18","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-Order Modal Logic","author":"Fitting","year":"1998"},{"key":"2023063007194759800_ref19","doi-asserted-by":"crossref","first-page":"209","DOI":"10.2307\/2181485","article-title":"Sense and reference","volume":"57","author":"Frege","year":"1948","journal-title":"Philosophical Review"},{"key":"2023063007194759800_ref20","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511617737","volume-title":"Modal Logic for Philosophers","author":"Garson","year":"2006"},{"key":"2023063007194759800_ref21","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"Hughes","year":"1996"},{"key":"2023063007194759800_ref22","article-title":"Tablitznoe postrojenie propozicionalnoj modalnoj logiki (truth-tables for systems of propositional modal logic)","volume-title":"Russian. Vest. Mosk. Univ., Seria Filosofia","author":"Ivlev","year":"1973"},{"key":"2023063007194759800_ref23","volume-title":"Sodierzatelnaja Semantika Modalnoj Logiki (Contentive Semantic of Modal Logic, in Russian)","author":"Ivlev","year":"1985"},{"key":"2023063007194759800_ref24","first-page":"114","article-title":"A semantics for modal calculi","volume":"17","author":"Ivlev","year":"1988","journal-title":"Bulletin of the Section of Logic"},{"key":"2023063007194759800_ref25","doi-asserted-by":"crossref","first-page":"281","DOI":"10.21146\/2074-1472-2013-19-0-281-307","article-title":"Generalization of Kalmar\u2019s method for quasi-matrix logic","volume":"19","author":"Ivlev","year":"2013","journal-title":"Logical Investigations"},{"key":"2023063007194759800_ref26","doi-asserted-by":"crossref","first-page":"77","DOI":"10.2307\/2273259","article-title":"Modal semantics without possible worlds","volume":"46","author":"Kearns","year":"1981","journal-title":"The Journal of Symbolic Logic"},{"key":"2023063007194759800_ref27","first-page":"622","article-title":"Modality de dicto and de re","volume-title":"Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress, Stanford","author":"Kneale","year":"1962"},{"key":"2023063007194759800_ref28","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1002\/malq.19620080204","article-title":"The undecidability of monadic modal quantification theory","volume":"8","author":"Kripke","year":"1962","journal-title":"Zeitschrift f\u00fcr Mathemathische Logik und Grundlagen der Mathematik"},{"key":"2023063007194759800_ref29","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","article-title":"Outline of a theory of truth","volume":"72","author":"Kripke","year":"1975","journal-title":"Journal of Philosophy"},{"key":"2023063007194759800_ref30","article-title":"Library of Philosophy & Logic","volume-title":"Naming and Necessity","author":"Kripke","year":"1981"},{"key":"2023063007194759800_ref31","article-title":"Discrete Mathematics and Its Applications","volume-title":"Introduction to Mathematical Logic","author":"Mendelson","year":"2010"},{"key":"2023063007194759800_ref32","article-title":"Free logic","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Nolt","year":"2018"},{"key":"2023063007194759800_ref33","first-page":"815","article-title":"More modal semantics without possible worlds","volume":"3","author":"Omori","year":"2016","journal-title":"IfCoLog Journal of Logics and Their Applications"},{"key":"2023063007194759800_ref34","first-page":"65","article-title":"Three grades of modal involvement","volume-title":"Proceedings of the XIth International Congress of Philosophy, Brussels, 1953, Volume XIV","author":"Quine","year":"1966"},{"key":"2023063007194759800_ref35","volume-title":"The Roots of Reference","author":"Quine","year":"1974"},{"key":"2023063007194759800_ref36","volume-title":"An Algebraic Approach to Non-Classical Logics","author":"Rasiowa","year":"1974"},{"key":"2023063007194759800_ref37","volume-title":"The Mathematics of Metamathematics","author":"Rasiowa","year":"1963"},{"key":"2023063007194759800_ref38","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2963674","article-title":"Quasi-truth-functional systems of propositional logic","volume":"27","author":"Rescher","year":"1962","journal-title":"The Journal of Symbolic Logic"},{"key":"2023063007194759800_ref39","article-title":"Essential vs. accidental properties","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Robertson","year":"2018"},{"key":"2023063007194759800_ref40","doi-asserted-by":"crossref","first-page":"873","DOI":"10.1093\/mind\/fzi873","article-title":"On denoting","volume":"114","author":"Russell","year":"2005","journal-title":"Mind"},{"key":"2023063007194759800_ref41","volume-title":"An Essay in Classical Modal Logic","author":"Segerberg","year":"1971"},{"key":"2023063007194759800_ref42","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/BF00129610","article-title":"On de dicto modalities in quantified S5","volume":"2","author":"Tich\u00fd","year":"1973","journal-title":"Journal of Philosophical Logic"},{"key":"2023063007194759800_ref43","volume-title":"Lectures on Propositional Calculi","author":"W\u00f3jcicki","year":"1984"},{"key":"2023063007194759800_ref44","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s11225-006-6611-6","article-title":"Cut-elimination and quantification in canonical systems","volume":"82","author":"Zamansky","year":"2006","journal-title":"Studia Logica"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/30\/5\/695\/50741307\/jzab020.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/30\/5\/695\/50741307\/jzab020.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,30]],"date-time":"2023-06-30T07:20:25Z","timestamp":1688109625000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/30\/5\/695\/6295141"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,11]]},"references-count":44,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2021,6,11]]},"published-print":{"date-parts":[[2022,9,15]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzab020","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2022,10]]},"published":{"date-parts":[[2021,6,11]]}}}