{"status":"ok","message-type":"work-list","message-version":"1.0.0","message":{"facets":{},"total-results":1778,"items":[{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T18:25:58Z","timestamp":1649010358963},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,2,1]],"date-time":"1995-02-01T00:00:00Z","timestamp":791596800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1995,2]]},"DOI":"10.1007\/bf01052732","type":"journal-article","created":{"date-parts":[[2005,1,31]],"date-time":"2005-01-31T12:34:58Z","timestamp":1107174898000},"page":"85-115","source":"Crossref","is-referenced-by-count":2,"title":["On the danger of half-truths"],"prefix":"10.1007","volume":"24","author":[{"given":"Daniel","family":"Osherson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott","family":"Weinstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0019-9958(75)90261-2","volume":"28","author":"L. Blum","year":"1975","unstructured":"L. Blum and M. Blum. Toward a mathematical theory of inductive inference.Information and Control,28:125?155, 1975.","journal-title":"Information and Control"},{"key":"CR2","volume-title":"Model Theory","author":"C. C. Chang","year":"1977","unstructured":"C. C. Chang and H. J. Keisler.Model Theory (2nd Edition). North-Holland, Amsterdam, 1977.","edition":"2nd Edition"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0304-3975(83)90061-0","volume":"25","author":"J. Case","year":"1983","unstructured":"J. Case and C. Smith. Comparison of identification criteria for machine inductive inference.Theoretical Computer Science,25:193?220, 1983.","journal-title":"Theoretical Computer Science"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/27757471","volume":"11","author":"John Earman","year":"1980","unstructured":"John Earman and Clark Glymour. Relativity and eclipses: The British eclipse expeditions of 1919 and their predecessors.Historical Studies in the Physical Sciences,11:49?85, 1980.","journal-title":"Historical Studies in the Physical Sciences"},{"key":"CR5","volume-title":"A Mathematical Introduction to Logic","author":"H. Enderton","year":"1972","unstructured":"H. Enderton.A Mathematical Introduction to Logic. Academic Press, New York, 1972."},{"key":"CR6","volume-title":"Against Method","author":"Paul K. Feyerabend","year":"1975","unstructured":"Paul K. Feyerabend.Against Method NLB, London, 1975."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"M. Fulk and S. Jain. Approximate inference and scientific method.Information and Computation, in press.","DOI":"10.1006\/inco.1994.1084"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Clark Glymour and Kevin Kelly. On convergence to the truth and nothing but the truth.Philosophy of Science,56, 1989.","DOI":"10.1086\/289483"},{"issue":"1","key":"CR9","doi-asserted-by":"crossref","first-page":"27","DOI":"10.2307\/2270579","volume":"30","author":"E. M. Gold","year":"1965","unstructured":"E. M. Gold. Limiting recursion.Journal of Symbolic Logic,30(1):27?48, 1965.","journal-title":"Journal of Symbolic Logic"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00217543","volume":"32","author":"H. Gaifman","year":"1990","unstructured":"H. Gaifman, D. Osherson, and S. Weinstein. A reason for theoretical terms.Erkenntnis,32:149?159, 1990.","journal-title":"Erkenntnis"},{"key":"CR11","first-page":"391","volume":"21","author":"Kevin Kelly","year":"1992","unstructured":"Kevin Kelly and Clark Glymour. Inductive inference from theory laden data.Journal of Philosophical Logic, 21:391?444, 1992.","journal-title":"Journal of Philosophical Logic"},{"key":"CR12","first-page":"1","volume":"19","author":"Kevin Kelly","year":"1990","unstructured":"Kevin Kelly and Clark Glymour. Theory discovery from data with mixed quantifiers.Journal of Philosophical Logic,19:1?33, 1990.","journal-title":"Journal of Philosophical Logic"},{"key":"CR13","unstructured":"Kevin Kelly and Cory Juhl. A characterization of almost stable identification over arbitrary inductive settings.Manuscript, 1992."},{"key":"CR14","volume-title":"The Copernican Revolution: planetary astronomy in the development of Western thought","author":"Thomas S. Kuhn","year":"1959","unstructured":"Thomas S. Kuhn.The Copernican Revolution: planetary astronomy in the development of Western thought. Random House, New York, 1959."},{"key":"CR15","volume-title":"The Structure of Scientific Revolutions","author":"Thomas S. Kuhn","year":"1962","unstructured":"Thomas S. Kuhn.The Structure of Scientific Revolutions. University of Chicago Press, Chicago, 1962."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1017\/CBO9780511621123.003","volume-title":"The Methodology of Scientific Research Programmes","author":"I. Lakatos","year":"1978","unstructured":"I. Lakatos. Falsification and the methodology of scientific research programmes. In J. Worral and G. Currie, editors,The Methodology of Scientific Research Programmes, pages 8?101. Cambridge University Press, Cambridge MA, 1978."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"1245","DOI":"10.1017\/S0022481200028073","volume":"53","author":"D. Osherson","year":"1988","unstructured":"D. Osherson, M. Stob, and S. Weinstein. Mechanical learners pay a price for bayesianism.Journal of Symbolic Logic,53(4):1245?1251, 1988.","journal-title":"Journal of Symbolic Logic"},{"key":"CR18","unstructured":"D. Osherson, M. Stob, and S. Weinstein. A mechanical method of successful scientific inquiry. In M. Fulk and J. Case, editors,Proceedings of the Third Annual Workshop on Computational Learning Theory, pages 187?291. Morgan Kaufmann Publishers, Inc., 1990."},{"issue":"2","key":"CR19","doi-asserted-by":"crossref","first-page":"661","DOI":"10.2307\/2274708","volume":"56","author":"D. Osherson","year":"1991","unstructured":"D. Osherson, M. Stob, and S. Weinstein. A universal inductive inference machine.Journal of Symbolic Logic,56(2):661?672, 1991.","journal-title":"Journal of Symbolic Logic"},{"key":"CR20","first-page":"261","volume":"9","author":"D. Osherson","year":"1992","unstructured":"D. Osherson, M. Stob, and S. Weinstein. A universal method of scientific inquiry.Machine Learning,9:261?271, 1992.","journal-title":"Machine Learning"},{"key":"CR21","unstructured":"D. Osherson, M. Stob, and S. Weinstein. Logic and learning. In S. Hanson, G. Drastal, and R. Rivest, editors,Computational Learning Theory and Natural Learning Systems. M.I.T. Press, Cambridge MA, In press."},{"key":"CR22","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S0019-9958(82)80025-9","volume":"52","author":"D. Osherson","year":"1982","unstructured":"D. Osherson and S. Weinstein. Criteria of language learning.Information and Control,52:123?138, 1982.","journal-title":"Information and Control"},{"key":"CR23","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/BF00250549","volume":"15","author":"D. Osherson","year":"1986","unstructured":"D. Osherson and S. Weinstein. Identification in the limit of first-order structures.Journal of Philosophical Logic,15:55?81, 1986.","journal-title":"Journal of Philosophical Logic"},{"key":"CR24","first-page":"1","volume":"18","author":"D. Osherson","year":"1989","unstructured":"D. Osherson and S. Weinstein. Identifiable collections of countable structures.Philosophy of Science,18:1?42, 1989.","journal-title":"Philosophy of Science"},{"key":"CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00296173","volume":"18","author":"D. Osherson","year":"1989","unstructured":"D. Osherson and S. Weinstein. Paradigms of truth-detection.Journal of Philosophical Logic,18:1?42, 1989.","journal-title":"Journal of Philosophical Logic"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/BF01052535","volume":"22","author":"D. Osherson","year":"1993","unstructured":"D. Osherson and S. Weinstein. Relevant consequence and empirical.Journal of Philosophical Logic,22:437?448, 1993.","journal-title":"Journal of Philosophical Logic"},{"key":"CR27","volume-title":"Collected Papers of C. S. Peirce","author":"C. S. Peirce","year":"1958","unstructured":"C. S. Peirce.Collected Papers of C. S. Peirce. (A. W. Burks, Editor) Harvard University Press, Cambridge MA, 1958."},{"key":"CR28","volume-title":"The Logic of Scientific Discovery","author":"K. Popper","year":"1959","unstructured":"K. Popper.The Logic of Scientific Discovery. Hutchinson, London, 1959."},{"issue":"1","key":"CR29","doi-asserted-by":"crossref","first-page":":49","DOI":"10.2307\/2270581","volume":"30","author":"Hilary Putnam","year":"1965","unstructured":"Hilary Putnam. Trial and error predicates and a solution to a problem of mostowski.Journal of Symbolic Logic,30(1):49?57, 1965.","journal-title":"Journal of Symbolic Logic"},{"key":"CR30","unstructured":"H. Putnam. Probability and confirmation. InMathematics, Matter, and Method. Cambridge University Press, 1975."},{"key":"CR31","volume-title":"Theory of Recursive Function and Effective Computability","author":"H. Rogers","year":"1967","unstructured":"H. Rogers.Theory of Recursive Function and Effective Computability. McGraw-Hill, New York, 1967."},{"key":"CR32","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/S0019-9958(86)80002-X","volume":"70","author":"J. Royer","year":"1986","unstructured":"J. Royer. Inductive inference of approximations.Information and Control,70:156?178, 1986.","journal-title":"Information and Control"},{"key":"CR33","volume-title":"What is Closer-to-the-Truth?","author":"G. Schurz","year":"1987","unstructured":"G. Schurz and P. Weingartner. Verisimilitude defined by relevant consequenceelements. A new reconstruction of Popper's idea. In T. A. Kuipers, editor, What is Closer-to-the-Truth? Rodopi, Amsterdam, 1987."},{"key":"CR34","doi-asserted-by":"crossref","DOI":"10.1515\/9781400857364","volume-title":"Science and Scepticism","author":"John Watkins","year":"1984","unstructured":"John Watkins.Science and Scepticism. Princeton University Press, Princeton, NJ, 1984."}],"container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01052732.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01052732\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01052732","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T14:04:49Z","timestamp":1586095489000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01052732"}},"issued":{"date-parts":[[1995,2]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,2]]}},"alternative-id":["BF01052732"],"URL":"https:\/\/doi.org\/10.1007\/bf01052732","ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"published":{"date-parts":[[1995,2]]}},{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T19:51:04Z","timestamp":1648929064634},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1979,1]]},"DOI":"10.1007\/bf00258443","type":"journal-article","created":{"date-parts":[[2004,9,19]],"date-time":"2004-09-19T06:35:03Z","timestamp":1095575703000},"source":"Crossref","is-referenced-by-count":0,"title":["Is the semantics of branching structures adequate for chronological modal logics?"],"prefix":"10.1007","volume":"8","author":[{"given":"Hirokazu","family":"Nishimura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00258443.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00258443\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00258443","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T14:31:17Z","timestamp":1554301877000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00258443"}},"issued":{"date-parts":[[1979,1]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1979,1]]}},"alternative-id":["BF00258443"],"URL":"https:\/\/doi.org\/10.1007\/bf00258443","ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"published":{"date-parts":[[1979,1]]}},{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T20:24:13Z","timestamp":1648671853942},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1992,8,1]],"date-time":"1992-08-01T00:00:00Z","timestamp":712627200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1992,8]]},"DOI":"10.1007\/bf00260932","type":"journal-article","created":{"date-parts":[[2004,9,18]],"date-time":"2004-09-18T16:56:18Z","timestamp":1095526578000},"source":"Crossref","is-referenced-by-count":0,"title":["Correction"],"prefix":"10.1007","volume":"21","member":"297","container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00260932.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00260932\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00260932","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T18:32:53Z","timestamp":1554316373000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00260932"}},"issued":{"date-parts":[[1992,8]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1992,8]]}},"alternative-id":["BF00260932"],"URL":"https:\/\/doi.org\/10.1007\/bf00260932","ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"published":{"date-parts":[[1992,8]]}},{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T20:14:35Z","timestamp":1648584875930},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1977,1,1]],"date-time":"1977-01-01T00:00:00Z","timestamp":220924800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1977,1]]},"DOI":"10.1007\/bf00262064","type":"journal-article","created":{"date-parts":[[2004,9,27]],"date-time":"2004-09-27T22:47:33Z","timestamp":1096325253000},"page":"303-317","source":"Crossref","is-referenced-by-count":0,"title":["On the treatment of perceptual verbs in Montague grammar: Some philosophical remarks"],"prefix":"10.1007","volume":"6","author":[{"given":"Gabriele","family":"Usberti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF00262064_CR1","volume-title":"Models for Modalities","author":"J. Hintikka","year":"1969","unstructured":"Hintikka, J., \u2018On the Logic of Perception\u2019, in J. Hintikka, Models for Modalities, Reidel, Dordrecht, 1969."},{"key":"BF00262064_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-1865-4","volume-title":"The Intentions of Intentionality and Other New Models for Modalities","author":"J. Hintikka","year":"1975","unstructured":"Hintikka, J., The Intentions of Intentionality and Other New Models for Modalities, Reidel, Dordrecht, 1975."},{"key":"BF00262064_CR3","doi-asserted-by":"crossref","unstructured":"Montague, R., \u2018On the Nature of Certain Philosophica Entities\u2019, The Monist 53, 1969.","DOI":"10.5840\/monist19695327"},{"key":"BF00262064_CR4","volume-title":"Approaches to Natural Language","author":"R. Montague","year":"1973","unstructured":"Montague, R., \u2018The Proper Treatment of Quantification in Ordinary English\u2019, in J.Hintikka, J.Moravcsik, P.Suppes (eds.), Approaches to Natural Language, Reidel, Dordrecht, 1973. Reprinted in R. Montague, Formal Philosophy, edited by R. Thomason, Yale University Press, 1974."},{"key":"BF00262064_CR5","unstructured":"Partee, B., \u2018Montague Grammar and Transformational Grammar\u2019, Linguistic Inquiry VI-2, 1975."},{"key":"BF00262064_CR6","unstructured":"Thomason, R., \u2018Perception and Individuation\u2019, in M. Munitz (ed.), Logic and Ontology, New York University Press, 1973."}],"container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00262064.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00262064\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00262064","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T06:23:10Z","timestamp":1585894990000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00262064"}},"issued":{"date-parts":[[1977,1]]},"references-count":6,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1977,1]]}},"alternative-id":["BF00262064"],"URL":"https:\/\/doi.org\/10.1007\/bf00262064","ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"published":{"date-parts":[[1977,1]]}},{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T14:02:12Z","timestamp":1648648932922},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,2,1]],"date-time":"1996-02-01T00:00:00Z","timestamp":823132800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Philosophical Logic"],"published-print":{"date-parts":[[1996,2]]},"DOI":"10.1007\/bf00357839","type":"journal-article","created":{"date-parts":[[2004,10,31]],"date-time":"2004-10-31T16:27:44Z","timestamp":1099240064000},"page":"v-v","source":"Crossref","is-referenced-by-count":0,"title":["Publisher's notice"],"prefix":"10.1007","volume":"25","member":"297","container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00357839.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00357839\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00357839","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T01:02:17Z","timestamp":1554771737000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00357839"}},"issued":{"date-parts":[[1996,2]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,2]]}},"alternative-id":["BF00357839"],"URL":"https:\/\/doi.org\/10.1007\/bf00357839","ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"published":{"date-parts":[[1996,2]]}},{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T00:08:31Z","timestamp":1648598911859},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1981,2,1]],"date-time":"1981-02-01T00:00:00Z","timestamp":349833600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1981,2]]},"DOI":"10.1007\/bf00253910","type":"journal-article","created":{"date-parts":[[2004,11,19]],"date-time":"2004-11-19T04:44:39Z","timestamp":1100839479000},"page":"21-26","source":"Crossref","is-referenced-by-count":0,"title":["Predicate calculi with adjectives and nouns"],"prefix":"10.1007","volume":"10","member":"297","reference":[{"key":"CR1","unstructured":"Bennett, M. R.: 1974, Some Extensions of a Montague Fragment of English, Indiana University Linguistics Club."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"311","DOI":"10.2307\/2214677","volume":"4","author":"Romane Clark","year":"1970","unstructured":"ClarkRomane: 1970, ?Concerning the logic of predicate modifiers?, Nous 4, 311?335.","journal-title":"Nous"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/B978-0-12-545850-4.50015-7","volume-title":"Montague Grammar","author":"M. J. Cresswell","year":"1976","unstructured":"CresswellM. J.: 1976, ?The semantics of degree?, in B.Partee (ed.), Montague Grammar, Academic Press, New York, 261?292."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/BF00484979","volume":"18","author":"Bengt Hansson","year":"1968","unstructured":"HanssonBengt: 1968, ?Choice structures and preference relations?, Synthese 18 443?458.","journal-title":"Synthese"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1017\/CBO9780511897696.011","volume-title":"Formal Semantics of Natural Language","author":"J. A. W. Kamp","year":"1975","unstructured":"KampJ. A. W.: 1975, ?Two theories of adjectives?, in E. L.Keenan (ed.), Formal Semantics of Natural Language, Cambridge University Press, Cambridge, pp. 123?155."},{"key":"CR6","unstructured":"Klein, Ewan: 1979, A Semantics for Positive and Comparative Adjectives, School of Social Sciences, University of Sussex."},{"key":"CR7","unstructured":"Montague, R.: 1970, ?English as a formal language?, p. 188?221 in Montague (1974)."},{"key":"CR8","volume-title":"Formal Philosophy","author":"R. Montague","year":"1974","unstructured":"MontagueR.: 1974, Formal Philosophy, ed. and with an introduction by R. H.Thomason, Yale University Press, New Haven."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/978-94-010-2557-7_5","volume-title":"Semantics of Natural Language","author":"T. Parsons","year":"1972","unstructured":"Parsons, T.: 1972, ?Some problems concerning the logic of grammatical modifiers?, in D.Davidson and G.Harman (eds.) Semantics of Natural Language, Reidel, Dordrecht, pp. 127?141."},{"key":"CR10","unstructured":"Wallace, J.: 1971, Logic and Some Adjectives, mimeo. Rockefeller University."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"773","DOI":"10.2307\/2024623","volume":"69","author":"J. Wallace","year":"1972","unstructured":"WallaceJ.: 1972, ?Positive, comparative, superlative?, The Journal of Philosophy 69, 773?782.","journal-title":"The Journal of Philosophy"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"310","DOI":"10.2307\/2214308","volume":"6","author":"S. Wheeler","year":"1972","unstructured":"WheelerS.: 1972, ?Attributives and their modifiers?, Nous 6, 310?334.","journal-title":"Nous"}],"container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00253910.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00253910\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00253910","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T11:56:54Z","timestamp":1554292614000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00253910"}},"issued":{"date-parts":[[1981,2]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1981,2]]}},"alternative-id":["BF00253910"],"URL":"https:\/\/doi.org\/10.1007\/bf00253910","ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"published":{"date-parts":[[1981,2]]}},{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T17:19:26Z","timestamp":1649006366418},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T00:00:00Z","timestamp":1280188800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1007\/s10992-010-9143-5","type":"journal-article","created":{"date-parts":[[2010,7,26]],"date-time":"2010-07-26T06:35:12Z","timestamp":1280126112000},"page":"591-591","source":"Crossref","is-referenced-by-count":0,"title":["FEW 2009 Special Issue: Preface"],"prefix":"10.1007","volume":"39","author":[{"given":"Branden","family":"Fitelson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,7,27]]},"container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-010-9143-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-010-9143-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-010-9143-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T21:29:49Z","timestamp":1559338189000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-010-9143-5"}},"issued":{"date-parts":[[2010,7,27]]},"references-count":0,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["9143"],"URL":"https:\/\/doi.org\/10.1007\/s10992-010-9143-5","ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"published":{"date-parts":[[2010,7,27]]}},{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T19:23:07Z","timestamp":1649013787105},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1976,2,1]],"date-time":"1976-02-01T00:00:00Z","timestamp":191980800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1976,2]]},"DOI":"10.1007\/bf00263655","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T06:46:10Z","timestamp":1096353970000},"source":"Crossref","is-referenced-by-count":2,"title":["Suspension of judgment: A response to Heidelberger on Kaplan"],"prefix":"10.1007","volume":"5","author":[{"given":"Michael","family":"Devitt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00263655.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00263655\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00263655","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T17:14:33Z","timestamp":1554311673000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00263655"}},"issued":{"date-parts":[[1976,2]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1976,2]]}},"alternative-id":["BF00263655"],"URL":"https:\/\/doi.org\/10.1007\/bf00263655","ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"published":{"date-parts":[[1976,2]]}},{"indexed":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T03:41:13Z","timestamp":1705981273666},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,9,19]],"date-time":"2008-09-19T00:00:00Z","timestamp":1221782400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1007\/s10992-008-9091-5","type":"journal-article","created":{"date-parts":[[2008,9,18]],"date-time":"2008-09-18T18:20:06Z","timestamp":1221762006000},"page":"283-312","source":"Crossref","is-referenced-by-count":4,"title":["Evaluating Dialectical Structures"],"prefix":"10.1007","volume":"38","author":[{"given":"Gregor","family":"Betz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,9,19]]},"reference":[{"key":"9091_CR1","first-page":"463","volume-title":"Proceedings of the 11th international joint conference on artificial intelligence","author":"A. B. Baker","year":"1989","unstructured":"Baker, A. B., & Ginsberg, M.\u00a0L. (1989). A theorem prover for prioritized circumscription. In N.\u00a0S. Sridharan (Ed.), Proceedings of the 11th international joint conference on artificial intelligence (pp 463\u2013467). San Francisco: Morgan Kaufmann."},{"key":"9091_CR2","volume-title":"Practical logic","author":"M. C. Beardsley","year":"1950","unstructured":"Beardsley, M. C. (1950). Practical logic. Englewood Cliffs: Prentice-Hall."},{"issue":"1","key":"9091_CR3","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/s10503-004-2068-9","volume":"19","author":"G. Betz","year":"2005","unstructured":"Betz, G. (2005). The vicious circle theorem\u2014a graph-theoretical analysis of dialectical structures. Argumentation, 19(1), 53\u201364.","journal-title":"Argumentation"},{"key":"9091_CR4","first-page":"63","volume-title":"Proceedings of the national conference on artificial intelligence","author":"L. Birnbaum","year":"1982","unstructured":"Birnbaum, L. (1982). Argument molecules: A functional representation of argument structure. In D.\u00a0L. Waltz (Ed.), Proceedings of the national conference on artificial intelligence (pp. 63\u201365). Menlo Park: AAAI."},{"issue":"1\u20132","key":"9091_CR5","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","volume":"93","author":"A. Bondarenko","year":"1997","unstructured":"Bondarenko, A., Dung, P. M., Kowalski, R. A., & Toni, F. (1997). An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence, 93(1\u20132), 63\u2013101.","journal-title":"Artificial Intelligence"},{"key":"9091_CR6","doi-asserted-by":"crossref","DOI":"10.1515\/9783110812787","volume-title":"Einf\u00fchrung in die angewandte Logik","author":"T. G. Bucher","year":"1998","unstructured":"Bucher, T.\u00a0G. (1998). Einf\u00fchrung in die angewandte Logik. Berlin: de Gruyter."},{"key":"9091_CR7","first-page":"378","volume-title":"ECSQARU, lecture notes in computer science (Vol. 3571, pp. 378\u2013389)","author":"C. Cayrol","year":"2005","unstructured":"Cayrol, C., & Lagasquie-Schiex, M. C. (2005). On the acceptability of arguments in bipolar argumentation frameworks. In L. Godo (Ed.), ECSQARU, lecture notes in computer science (Vol. 3571, pp. 378\u2013389). New York: Springer."},{"issue":"4","key":"9091_CR8","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1017\/S0269888906001044","volume":"21","author":"C. Ches\u00f1evar","year":"2006","unstructured":"Ches\u00f1evar, C., McGinnis, J., Modgil, S., Rahwan, I., Reed, C., Simari, G., et al. (2006). Towards an argument interchange format. The Knowledge Engineering Review, 21(4), 293\u2013316.","journal-title":"The Knowledge Engineering Review"},{"issue":"4","key":"9091_CR9","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1145\/371578.371581","volume":"32","author":"C. I. Ches\u00f1evar","year":"2000","unstructured":"Ches\u00f1evar, C. I., Maguitman, A. G., & Loui, R. P. (2000). Logical models of argument. ACM Computing Surveys, 32(4), 337\u2013383. doi: http:\/\/doi.acm.org\/10.1145\/371578.371581 .","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"9091_CR10","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1016\/j.artint.2005.07.002","volume":"170","author":"P. Dung","year":"2006","unstructured":"Dung, P., Kowalski, R., & Toni, F. (2006). Dialectic proof procedures for assumption-based, admissible argumentation. Artificial Intelligence, 170(2), 114\u2013159.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"9091_CR11","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P. M. Dung","year":"1995","unstructured":"Dung, P. M. (1995). On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77(2), 321\u2013358.","journal-title":"Artificial Intelligence"},{"key":"9091_CR12","volume-title":"A practical study of argument","author":"T. Govier","year":"1985","unstructured":"Govier, T. (1985). A practical study of argument. Belmont: Wadsworth."},{"key":"9091_CR13","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1111\/j.1755-2567.1971.tb00065.x","volume":"37","author":"C. L. Hamblin","year":"1971","unstructured":"Hamblin, C.\u00a0L. (1971). Mathematical models of dialogue. Theoria, 37, 130\u2013155.","journal-title":"Theoria"},{"key":"9091_CR14","first-page":"212","volume-title":"Konzepte der Dialektik","author":"J. Hintikka","year":"1981","unstructured":"Hintikka, J. (1981). The logic of information-seeking dialogues. A model. In W. Becker, & W. K. Essler (Eds.), Konzepte der Dialektik (pp. 212\u2013231). Frankfurt am Main: Klostermann."},{"key":"9091_CR15","first-page":"245","volume-title":"Proceedings of the 1st international conference on principles of knowledge representation and reasoning","author":"F. Lin","year":"1989","unstructured":"Lin, F., & Shoham, Y. (1989). Argument systems: A uniform basis for nonmonotonic reasoning. In R. J. Brachman, H. J. Levesque, & R. Reiter (Eds.), Proceedings of the 1st international conference on principles of knowledge representation and reasoning (pp. 245\u2013255). San Francisco: Morgan Kaufmann."},{"key":"9091_CR16","volume-title":"Dialogische Logik","author":"P. Lorenzen","year":"1978","unstructured":"Lorenzen, P., & Lorenz, K. (1978). Dialogische Logik. Darmstadt: Wissenschaftliche Buchgesellschaft."},{"key":"9091_CR17","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF00258422","volume":"8","author":"J. D. Mackenzie","year":"1979","unstructured":"Mackenzie, J. D. (1979). Question-begging in non-cumulative systems. Journal of Philosophical Logic, 8, 117\u2013133.","journal-title":"Journal of Philosophical Logic"},{"key":"9091_CR18","volume-title":"Informal logic: Possible worlds and imagination","author":"J. E. Nolt","year":"1984","unstructured":"Nolt, J. E. (1984). Informal logic: Possible worlds and imagination. New York: McGraw-Hill."},{"key":"9091_CR19","doi-asserted-by":"crossref","unstructured":"Ojeda-Aciego, M., de\u00a0Guzm\u00e1n, I. P., Brewka, G., & Pereira, L. M. (Eds.) (2000). Logics in Artificial Intelligence, European workshop, JELIA 2000 Malaga, Spain, 29 September\u20132 October, 2000. In Proceedings, lecture notes in computer science (Vol. 1919). Berlin: Springer.","DOI":"10.1007\/3-540-40006-0"},{"key":"9091_CR20","first-page":"62","volume":"4","author":"J. L. Pollock","year":"1970","unstructured":"Pollock, J. L. (1970). The structure of epistemic justification. American Philosophical Quarterly, 4, 62\u201378.","journal-title":"American Philosophical Quarterly"},{"issue":"4","key":"9091_CR21","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1207\/s15516709cog1104_4","volume":"11","author":"J. L. Pollock","year":"1987","unstructured":"Pollock, J. L. (1987). Defeasible reasoning. Cognitive Science, 11(4), 481\u2013518.","journal-title":"Cognitive Science"},{"key":"9091_CR22","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1887.001.0001","volume-title":"Cognitive carpentry. A blueprint for how to build a person","author":"J. L. Pollock","year":"1995","unstructured":"Pollock, J. L. (1995). Cognitive carpentry. A blueprint for how to build a person. Cambridge: MIT."},{"key":"9091_CR23","first-page":"224","volume-title":"Logics in artificial intelligence, European workshop, JELIA 2000 Malaga, Spain, 29 September\u20132 October, 2000. Proceedings, lecture notes in computer science (Vol. 1919, pp. 224\u2013238)","author":"H. Prakken","year":"2000","unstructured":"Prakken, H. (2000). On dialogue systems with speech acts, arguments, and counterarguments. In M. Ojeda-Aciego, I. P. de\u00a0Guzm\u00e1n, G. Brewka, & L. M. Pereira (Eds.), Logics in artificial intelligence, European workshop, JELIA 2000 Malaga, Spain, 29 September\u20132 October, 2000. Proceedings, lecture notes in computer science (Vol. 1919, pp. 224\u2013238). Berlin: Springer."},{"issue":"3\u20134","key":"9091_CR24","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/BF00118496","volume":"4","author":"H. Prakken","year":"1996","unstructured":"Prakken, H., & Sartor, G. (1996). A dialectical model of assessing conflicting arguments in legal reasoning. Artificial Intelligence and Law, 4(3\u20134), 331\u2013368.","journal-title":"Artificial Intelligence and Law"},{"key":"9091_CR25","first-page":"219","volume-title":"Handbook of philosophical logic (2nd edn, Vol.\u00a04, pp. 219\u2013318)","author":"H. Prakken","year":"2001","unstructured":"Prakken, H., & Vreeswijk, G. (2001). Logics for defeasible argumentation. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (2nd edn, Vol.\u00a04, pp. 219\u2013318). Dordrecht: Kluwer."},{"key":"9091_CR26","volume-title":"Dialectics. A controversy-oriented approach to the theory of knowledge","author":"N. Rescher","year":"1977","unstructured":"Rescher, N. (1977). Dialectics. A controversy-oriented approach to the theory of knowledge. Albany: State University of New York Press."},{"key":"9091_CR27","volume-title":"Wie man mit Fundamentalisten diskutiert, ohne den Verstand zu verlieren. Anleitung zum subversiven Denken","author":"H. Schleichert","year":"1998","unstructured":"Schleichert, H. (1998). Wie man mit Fundamentalisten diskutiert, ohne den Verstand zu verlieren. Anleitung zum subversiven Denken. M\u00fcnchen: C.H. Beck."},{"issue":"2\u20133","key":"9091_CR28","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","volume":"53","author":"G. R. Simari","year":"1992","unstructured":"Simari, G. R., & Loui, R. P. (1992). A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence, 53(2\u20133), 125\u2013157.","journal-title":"Artificial Intelligence"},{"key":"9091_CR29","first-page":"270","volume-title":"Anales de la XIV conferencia internacional de la sociedad chilena para ciencias de la computac\u00edon","author":"G. R. Simari","year":"1994","unstructured":"Simari, G. R., Ches\u00f1evar, C.\u00a0I., & Garc\u00eda, A. J. (1994). The role of dialectics in defeasible argumentation. In Anales de la XIV conferencia internacional de la sociedad chilena para ciencias de la computac\u00edon (pp. 270\u2013281). Chile: Univ. de Concepci\u00f3n."},{"key":"9091_CR30","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1023\/A:1007800305762","volume":"14","author":"A. F. Snoeck Henkemans","year":"2000","unstructured":"Snoeck Henkemans, A. F. (2000). State-of-the-art: The structure of argumentation. Argumentation, 14, 447\u2013473.","journal-title":"Argumentation"},{"key":"9091_CR31","volume-title":"Philosophisches Argumentieren","author":"H. Tetens","year":"2004","unstructured":"Tetens, H. (2004). Philosophisches Argumentieren. M\u00fcnchen: C.H. Beck."},{"key":"9091_CR32","volume-title":"Practical reasoning in natural language","author":"S. N. Thomas","year":"1986","unstructured":"Thomas, S. N. (1986). Practical reasoning in natural language (3rd edn). Englewood Cliffs: Prentice-Hall.","edition":"3"},{"key":"9091_CR33","volume-title":"The uses of argument","author":"S. E. Toulmin","year":"1958","unstructured":"Toulmin, S.\u00a0E. (1958). The uses of argument. Cambridge: Cambridge University Press."},{"key":"9091_CR34","volume-title":"A systematic theory of argumentation. The pragma-dialectical approach","author":"F. H. Eemeren van","year":"2004","unstructured":"van Eemeren, F. H., & Grootendorst, R. (2004). A systematic theory of argumentation. The pragma-dialectical approach. Cambridge: Cambridge University Press."},{"key":"9091_CR35","unstructured":"Verheij, B. (1996). Rules, reasons, arguments. Formal studies of argumentation and defeat. Dissertation, Universiteit Maastricht."},{"issue":"3","key":"9091_CR36","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1093\/logcom\/3.3.317","volume":"3","author":"G. Vreeswijk","year":"1993","unstructured":"Vreeswijk, G. (1993). Defeasible dialectics: A controversy-oriented approach towards defeasible argumentation. Journal of Logic and Computation, 3(3), 317\u2013334.","journal-title":"Journal of Logic and Computation"},{"key":"9091_CR37","first-page":"239","volume-title":"Logics in artificial intelligence, European workshop, JELIA 2000 Malaga, Spain, 29 September\u20132 October, 2000. Proceedings, lecture notes in computer science (Vol. 1919, pp. 239\u2013253)","author":"G. Vreeswijk","year":"2000","unstructured":"Vreeswijk, G., & Prakken, H. (2000). Credulous and sceptical argument games for preferred semantics. In M. Ojeda-Aciego, I. P. de Guzm\u00e1n, G. Brewka, & L. M. Pereira (Eds.), Logics in artificial intelligence, European workshop, JELIA 2000 Malaga, Spain, 29 September\u20132 October, 2000. Proceedings, lecture notes in computer science (Vol. 1919, pp. 239\u2013253). Berlin: Springer."},{"issue":"1\u20132","key":"9091_CR38","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0004-3702(96)00041-0","volume":"90","author":"G. A. W. Vreeswijk","year":"1997","unstructured":"Vreeswijk, G. A. W. (1997). Abstract argumentation systems. Artificial Intelligence, 90(1\u20132), 225\u2013279.","journal-title":"Artificial Intelligence"},{"key":"9091_CR39","volume-title":"Commitment in dialogue. Basic concepts of interpersonal reasoning","author":"D. N. Walton","year":"1995","unstructured":"Walton, D.\u00a0N., & Krabbe, E.\u00a0C.\u00a0W. (1995). Commitment in dialogue. Basic concepts of interpersonal reasoning. Albany: State University of New York Press."}],"container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-008-9091-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-008-9091-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-008-9091-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,8]],"date-time":"2020-05-08T10:22:59Z","timestamp":1588933379000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-008-9091-5"}},"issued":{"date-parts":[[2008,9,19]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["9091"],"URL":"https:\/\/doi.org\/10.1007\/s10992-008-9091-5","ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"published":{"date-parts":[[2008,9,19]]}},{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:45:03Z","timestamp":1740123903644,"version":"3.37.3"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,8,7]],"date-time":"2018-08-07T00:00:00Z","timestamp":1533600000000},"content-version":"tdm","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":[[2019,6]]},"DOI":"10.1007\/s10992-018-9474-1","type":"journal-article","created":{"date-parts":[[2018,8,7]],"date-time":"2018-08-07T13:17:11Z","timestamp":1533647831000},"page":"523-551","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Revision Without Revision Sequences: Self-Referential Truth"],"prefix":"10.1007","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2642-9270","authenticated-orcid":false,"given":"Edoardo","family":"Rivello","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,7]]},"reference":[{"issue":"1","key":"9474_CR1","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1305\/ndjfl\/1040609294","volume":"35","author":"GA Antonelli","year":"1994","unstructured":"Antonelli, G.A. (1994). The complexity of revision. Notre Dame Journal of Formal Logic, 35(1), 67\u201372.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"9474_CR2","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/BF00302340","volume":"11","author":"N Belnap","year":"1982","unstructured":"Belnap, N. (1982). Gupta\u2019s rule of revision theory of truth. Journal of Philosophical Logic, 11(1), 103\u2013116.","journal-title":"Journal of Philosophical Logic"},{"key":"9474_CR3","doi-asserted-by":"publisher","first-page":"663","DOI":"10.2307\/2274021","volume":"51","author":"JP Burgess","year":"1986","unstructured":"Burgess, J.P. (1986). The truth is never simple. The Journal of Symbolic Logic, 51, 663\u2013681.","journal-title":"The Journal of Symbolic Logic"},{"key":"9474_CR4","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF00249666","volume":"25","author":"A Chapuis","year":"1996","unstructured":"Chapuis, A. (1996). Alternative revision theories of truth. Journal of Philosophical Logic, 25, 399\u2013423.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9474_CR5","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1017\/S1755020314000379","volume":"8","author":"M Fischer","year":"2015","unstructured":"Fischer, M., & et al. (2015). Axiomatizing semantic theories of truth?. The Review of Symbolic Logic, 8(2), 257\u2013278.","journal-title":"The Review of Symbolic Logic"},{"key":"9474_CR6","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1305\/ndjfl\/1093636525","volume":"27","author":"M Fitting","year":"1986","unstructured":"Fitting, M. (1986). Notes on the mathematical aspects of Kripke\u2019s theory of truth. Notre Dame Journal of Formal Logic, 27, 75\u201388.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"9474_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00302338","volume":"11","author":"A Gupta","year":"1982","unstructured":"Gupta, A. (1982). Truth and paradox. Journal of Philosophical Logic, 11(1), 1\u201360.","journal-title":"Journal of Philosophical Logic"},{"key":"9474_CR8","doi-asserted-by":"publisher","first-page":"419","DOI":"10.2307\/1523021","volume":"8","author":"A Gupta","year":"1997","unstructured":"Gupta, A. (1997). Definition and revision: A response to McGee and Martin. Philosophical Issues, 8, 419\u2013443.","journal-title":"Philosophical Issues"},{"key":"9474_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5938.001.0001","volume-title":"The revision theory of truth. A bradford book","author":"A Gupta","year":"1993","unstructured":"Gupta, A., & Belnap, N. (1993). The revision theory of truth. A bradford book. Cambridge: MIT Press."},{"key":"9474_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511921049","volume-title":"Axiomatic theories of truth","author":"V Halbach","year":"2011","unstructured":"Halbach, V. (2011). Axiomatic theories of truth. Cambridge: Cambridge University Press."},{"key":"9474_CR11","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1017\/S1755020314000434","volume":"8","author":"CS Hansen","year":"2015","unstructured":"Hansen, C.S. (2015). Supervaluation on trees for Kripke\u2019s theory of truth. The Review of Symbolic Logic, 8, 46\u201374.","journal-title":"The Review of Symbolic Logic"},{"issue":"4","key":"9474_CR12","doi-asserted-by":"publisher","first-page":"1068","DOI":"10.2307\/2273993","volume":"50","author":"G Hellman","year":"1985","unstructured":"Hellman, G. (1985). Reviews of Gupta, 1982 and Herzberger, 1982. The Journal of Symbolic Logic, 50(4), 1068\u20131071.","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"9474_CR13","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF00302339","volume":"11","author":"HG Herzberger","year":"1982","unstructured":"Herzberger, H.G. (1982). Notes on naive semantics. Journal of Philosophical Logic, 11(1), 61\u2013102.","journal-title":"Journal of Philosophical Logic"},{"key":"9474_CR14","unstructured":"Horsten, L., & Halbach, V. (2014). Truth and paradox. In Horsten, L., & Pettigrew, R. (Eds.) The Bloomsbury Companion to Philosophical Logic: Bloomsbury Publishing."},{"key":"9474_CR15","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1305\/ndjfl\/1093633907","volume":"34","author":"P Kremer","year":"1993","unstructured":"Kremer, P. (1993). The Gupta-Belnap systems S # and S \u2217 are not Axiomatisable. Notre Dame Journal of Formal Logic, 34, 583\u2013596.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9474_CR16","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s10992-009-9107-9","volume":"38","author":"P Kremer","year":"2009","unstructured":"Kremer, P. (2009). Comparing fixed-point and revision theories of truth. Journal of Philosophical Logic, 38, 363\u2013403.","journal-title":"Journal of Philosophical Logic"},{"key":"9474_CR17","doi-asserted-by":"publisher","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S Kripke","year":"1975","unstructured":"Kripke, S. (1975). Outline of a theory of truth. Journal of Philosophical, 72, 690\u2013716.","journal-title":"Journal of Philosophical"},{"key":"9474_CR18","unstructured":"L\u00f6we, B. (2006). Revision forever. In Sch\u00e4rfe, H., & et al. (Eds.) Conceptual Structures: Inspiration and Application, 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16\u201321, Lecture Notes in Artificial Intelligence, 4068 22\u201336."},{"issue":"1","key":"9474_CR19","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1023\/A:1011946004905","volume":"68","author":"B L\u00f6we","year":"2001","unstructured":"L\u00f6we, B., & Welch, P. (2001). Set-theoretic absoluteness and the revision theory of truth. Studia Logica, 68(1), 21\u201341.","journal-title":"Studia Logica"},{"key":"9474_CR20","doi-asserted-by":"publisher","first-page":"407","DOI":"10.2307\/1523020","volume":"8","author":"D Martin","year":"1997","unstructured":"Martin, D. (1997). Revision and its rivals. Philosophical Issues, 8, 407\u2013418.","journal-title":"Philosophical Issues"},{"key":"9474_CR21","doi-asserted-by":"publisher","first-page":"387","DOI":"10.2307\/1523019","volume":"8","author":"V McGee","year":"1997","unstructured":"McGee, V. (1997). Revision. Philosophical Issues, 8, 387\u2013406.","journal-title":"Philosophical Issues"},{"key":"9474_CR22","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s10992-011-9219-x","volume":"42","author":"T Meadows","year":"2013","unstructured":"Meadows, T. (2013). Truth dependence and supervaluation: living with the ghost. Journal of Philosophical Logic, 42, 221\u2013240.","journal-title":"Journal of Philosophical Logic"},{"key":"9474_CR23","unstructured":"Rivello, E. (2018). Revision without revision sequences: Circular definitions. Journal of Philosophical Logic, to appear."},{"key":"9474_CR24","unstructured":"Roman, S. (2008). Lattices and ordered sets. Springer."},{"key":"9474_CR25","unstructured":"Schindler, T. Some notes on truth and comprehension. Journal of Philosophical Logic (forthcoming)."},{"key":"9474_CR26","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/s11098-004-2497-1","volume":"129","author":"S Shapiro","year":"2006","unstructured":"Shapiro, S. (2006). The rationale behind revision-rule semantics. Philosophical studies, 129, 477\u2013515.","journal-title":"Philosophical studies"},{"key":"9474_CR27","unstructured":"Sheard, M. (2002). Truth, provability and naive criteria. In Halbach, V., & Horsten, L. (Eds.) Principles of Truth, 169\u2013182. Hohenhausen: Dr H\u00e4nsel."},{"key":"9474_CR28","unstructured":"Visser, A. (2004). Semantics and the liar paradox. In Gabbay, D.M., & G\u00fcnthner, F. (Eds.) Handbook of Philosophical Logic, 11, (2nd ed. of [30]). The Netherlands: Kluwer Academic Publishers."},{"issue":"3","key":"9474_CR29","doi-asserted-by":"publisher","first-page":"345","DOI":"10.2307\/2687753","volume":"7","author":"P Welch","year":"2001","unstructured":"Welch, P. (2001). On Gupta-Belnap revision theories of truth, Kripkean fixed points, and the next stable set. The Bulletin of Symbolic Logic, 7(3), 345\u2013360.","journal-title":"The Bulletin of Symbolic Logic"},{"key":"9474_CR30","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195083439.001.0001","volume-title":"The liar speaks the truth. A defense of the revision theory of truth","author":"AM Yaqub","year":"1993","unstructured":"Yaqub, A.M. (1993). The liar speaks the truth. A defense of the revision theory of truth. Oxford: Oxford University Press."}],"container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9474-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-018-9474-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9474-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,9]],"date-time":"2024-07-09T00:32:56Z","timestamp":1720485176000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-018-9474-1"}},"issued":{"date-parts":[[2018,8,7]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["9474"],"URL":"https:\/\/doi.org\/10.1007\/s10992-018-9474-1","ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"published":{"date-parts":[[2018,8,7]]},"assertion":[{"value":"31 July 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 July 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 August 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]},{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T05:22:32Z","timestamp":1649049752548},"reference-count":1,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1989,8,1]],"date-time":"1989-08-01T00:00:00Z","timestamp":617932800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1989,8]]},"DOI":"10.1007\/bf00274070","type":"journal-article","created":{"date-parts":[[2004,10,2]],"date-time":"2004-10-02T22:31:00Z","timestamp":1096756260000},"page":"321-323","source":"Crossref","is-referenced-by-count":0,"title":["A1 is not a conservative extension of S4 but of S5"],"prefix":"10.1007","volume":"18","author":[{"given":"Michiro","family":"Kondo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"205","volume":"5","author":"W. D. Hart","year":"1976","unstructured":"W. D.Hart and C.Mcginn, ?Knowledge and Necessity?, Jour. of Phil. Logic, 5 (1976), 205?208.","journal-title":"Jour. of Phil. Logic"}],"container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00274070.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00274070\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00274070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T19:22:59Z","timestamp":1554319379000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00274070"}},"issued":{"date-parts":[[1989,8]]},"references-count":1,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1989,8]]}},"alternative-id":["BF00274070"],"URL":"https:\/\/doi.org\/10.1007\/bf00274070","ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"published":{"date-parts":[[1989,8]]}},{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T15:29:31Z","timestamp":1648567771738},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1985,8,1]],"date-time":"1985-08-01T00:00:00Z","timestamp":491702400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1985,8]]},"DOI":"10.1007\/bf00249364","type":"journal-article","created":{"date-parts":[[2004,9,16]],"date-time":"2004-09-16T05:09:29Z","timestamp":1095311369000},"source":"Crossref","is-referenced-by-count":0,"title":["The decidable normal modal logics are not recursively enumerable"],"prefix":"10.1007","volume":"14","author":[{"given":"M.J.","family":"Cresswell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00249364.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00249364\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00249364","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T15:56:07Z","timestamp":1554306967000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00249364"}},"issued":{"date-parts":[[1985,8]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1985,8]]}},"alternative-id":["BF00249364"],"URL":"https:\/\/doi.org\/10.1007\/bf00249364","ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"published":{"date-parts":[[1985,8]]}},{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T10:39:47Z","timestamp":1648895987624},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1979,1]]},"DOI":"10.1007\/bf00258446","type":"journal-article","created":{"date-parts":[[2004,9,19]],"date-time":"2004-09-19T10:35:03Z","timestamp":1095590103000},"source":"Crossref","is-referenced-by-count":0,"title":["On representing propositions"],"prefix":"10.1007","volume":"8","author":[{"given":"RonaldE.","family":"Nusenoff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00258446.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00258446\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00258446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T18:31:18Z","timestamp":1554316278000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00258446"}},"issued":{"date-parts":[[1979,1]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1979,1]]}},"alternative-id":["BF00258446"],"URL":"https:\/\/doi.org\/10.1007\/bf00258446","ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"published":{"date-parts":[[1979,1]]}},{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T03:22:15Z","timestamp":1648869735694},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1980,11,1]],"date-time":"1980-11-01T00:00:00Z","timestamp":341884800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1980,11]]},"DOI":"10.1007\/bf00262863","type":"journal-article","created":{"date-parts":[[2004,9,19]],"date-time":"2004-09-19T20:12:15Z","timestamp":1095624735000},"source":"Crossref","is-referenced-by-count":0,"title":["Errata"],"prefix":"10.1007","volume":"9","member":"297","container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00262863.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00262863\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00262863","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T17:14:12Z","timestamp":1554311652000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00262863"}},"issued":{"date-parts":[[1980,11]]},"references-count":0,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1980,11]]}},"alternative-id":["BF00262863"],"URL":"https:\/\/doi.org\/10.1007\/bf00262863","ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"published":{"date-parts":[[1980,11]]}},{"indexed":{"date-parts":[[2026,1,3]],"date-time":"2026-01-03T07:17:49Z","timestamp":1767424669514,"version":"3.48.0"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1007\/s10992-025-09817-3","type":"journal-article","created":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T09:59:52Z","timestamp":1764583192000},"page":"1305-1322","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Inferentialism and Uniformity"],"prefix":"10.1007","volume":"54","author":[{"given":"Owen","family":"Griffiths","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. C.","family":"Paseau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,12,1]]},"reference":[{"key":"9817_CR1","doi-asserted-by":"crossref","unstructured":"Barwise, J. (1977). An introduction to first-order logic. In J. Barwise (Ed.), Handbook of Mathematical Logic (pp. 5\u201346). Elsevier.","DOI":"10.1016\/S0049-237X(08)71097-8"},{"key":"9817_CR2","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1093\/analys\/22.6.130","volume":"23","author":"N Belnap","year":"1962","unstructured":"Belnap, N. (1962). Tonk, plonk and plink. Analysis, 23, 130\u20131.","journal-title":"Analysis"},{"key":"9817_CR3","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1111\/j.1933-1592.2007.00044.x","volume":"74","author":"R Brandom","year":"2007","unstructured":"Brandom, R. (2007). Inferentialism and some of its challenges. Philosophy and Phenomenological Research, 74, 651\u2013676.","journal-title":"Philosophy and Phenomenological Research"},{"key":"9817_CR4","doi-asserted-by":"crossref","unstructured":"Brandom, R. (2000). Articulating reasons: An introduction to inferentialism. Harvard University Press.","DOI":"10.4159\/9780674028739"},{"key":"9817_CR5","volume-title":"Formalization in logic","author":"R Carnap","year":"1943","unstructured":"Carnap, R. (1943). Formalization in logic. Harvard University Press."},{"key":"9817_CR6","volume-title":"The logical basis of metaphysics","author":"M Dummett","year":"1991","unstructured":"Dummett, M. (1991). The logical basis of metaphysics. Harvard University Press."},{"key":"9817_CR7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139856461","volume-title":"What logics mean","author":"J Garson","year":"2013","unstructured":"Garson, J. (2013). What logics mean. Cambridge University Press."},{"key":"9817_CR8","doi-asserted-by":"crossref","unstructured":"Gheorghiu, A. & Pym, D. (2025). Proof-theoretic semantics for second-order logic. arXiv:2508.07786.","DOI":"10.1093\/jigpal\/jzaf062"},{"key":"9817_CR9","doi-asserted-by":"crossref","unstructured":"Griffiths, O. & Paseau, A. C. (2016). Isomorphism invariance and overgeneration. Bulletin of Symbolic Logic, 22, 482\u2013503.","DOI":"10.1017\/bsl.2016.37"},{"key":"9817_CR10","doi-asserted-by":"crossref","unstructured":"Griffiths, O. & Paseau, A. C. (2022). One true logic. Oxford University Press.","DOI":"10.1093\/oso\/9780198829713.001.0001"},{"key":"9817_CR11","unstructured":"Griffiths, O. & Paseau, A.C. (2026). Model-theoretic and proof-theoretic validity. In E. Brendel, M. Carrara, F. Ferrari, O. Hjortland, G. Sagi, & G. Sher (Eds.), Oxford handbook of philosophy of logic (pp. tbc). Oxford University Press."},{"key":"9817_CR12","doi-asserted-by":"crossref","unstructured":"Incurvati, L. & Schl\u00f6der, J. (2023). Reasoning with attitude. Oxford University Press.","DOI":"10.1093\/oso\/9780197620984.001.0001"},{"key":"9817_CR13","doi-asserted-by":"crossref","unstructured":"Keisler, H. J. (1970). Logic with the quantifier \u201cthere exist uncountably many\u201d. Annals of Mathematical Logic, 1, 1\u201393.","DOI":"10.1016\/S0003-4843(70)80005-5"},{"key":"9817_CR14","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1017\/CBO9780511570681.005","volume-title":"Between logic and intuition: Essays in honor of Charles Parsons","author":"V McGee","year":"2000","unstructured":"McGee, V. (2000). Everything. In G. Sher & R. Tieszen (Eds.), Between logic and intuition: Essays in honor of Charles Parsons (pp. 54\u201378). Cambridge University Press."},{"key":"9817_CR15","doi-asserted-by":"crossref","unstructured":"Milne, P. (2002). Harmony, purity, simplicity and a \u201cseemingly magical fact\u201d. The Monist, 85, 498\u2013534.","DOI":"10.5840\/monist200285427"},{"key":"9817_CR16","doi-asserted-by":"crossref","unstructured":"Murzi, J. & Steinberger, F. (2017). Inferentialism. In B. Hale, C. Wright, & A. Miller (Eds.), A companion to the philosophy of language (pp. 197\u2013224). Wiley Blackwell.","DOI":"10.1002\/9781118972090.ch9"},{"key":"9817_CR17","doi-asserted-by":"crossref","unstructured":"Murzi, J. & Topey, B. (2021). Categoricity by convention. Philosophical Studies, 178, 3391\u20133420.","DOI":"10.1007\/s11098-021-01606-3"},{"key":"9817_CR18","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1093\/analys\/ant097","volume":"74","author":"AC Paseau","year":"2014","unstructured":"Paseau, A. C. (2014). The overgeneration argument(s): A succinct refutation. Analysis, 74, 40\u20137.","journal-title":"Analysis"},{"key":"9817_CR19","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1093\/analys\/21.2.38","volume":"21","author":"A Prior","year":"1960","unstructured":"Prior, A. (1960). The runabout inference-ticket. Analysis, 21, 38\u20139.","journal-title":"Analysis"},{"key":"9817_CR20","volume-title":"Philosophy of logic","author":"WV Quine","year":"1970","unstructured":"Quine, W. V. (1970). Philosophy of logic. Harvard University Press."},{"key":"9817_CR21","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1023\/A:1004787622057","volume":"29","author":"S Read","year":"2000","unstructured":"Read, S. (2000). Harmony and autonomy in classical logic. Journal of Philosophical Logic, 29, 123\u2013154.","journal-title":"Journal of Philosophical Logic"},{"key":"9817_CR22","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1093\/analys\/64.2.113","volume":"64","author":"S Read","year":"2004","unstructured":"Read, S. (2004). Identity and harmony. Analysis, 64, 113\u20139.","journal-title":"Analysis"},{"key":"9817_CR23","first-page":"285","volume-title":"Dialogues, logics and other strong things: Essays in honour of Shalid Rahman","author":"S Read","year":"2008","unstructured":"Read, S. (2008). Harmony and modality. In C. D\u00e9gremont, L. Kieff, & H. R\u00fcckert (Eds.), Dialogues, logics and other strong things: Essays in honour of Shalid Rahman (pp. 285\u2013303). College Publications."},{"key":"9817_CR24","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1017\/S1755020316000010","volume":"9","author":"S Read","year":"2016","unstructured":"Read, S. (2016). Harmonic inferentialism and the logic of identity. Review of Symbolic Logic, 9, 408\u201320.","journal-title":"Review of Symbolic Logic"},{"key":"9817_CR25","doi-asserted-by":"publisher","first-page":"781","DOI":"10.1093\/mind\/109.436.781","volume":"109","author":"I Rumfitt","year":"2000","unstructured":"Rumfitt, I. (2000). \u201cYes\u2019\u2019 and \u201cNo\u2019\u2019. Mind, 109, 781\u2013823.","journal-title":"Mind"},{"key":"9817_CR26","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1002\/9781118972090.ch10","volume-title":"A companion to the philosophy of language","author":"I Rumfitt","year":"2017","unstructured":"Rumfitt, I. (2017). Against Harmony. In B. Hale, C. Wright, & A. Miller (Eds.), A companion to the philosophy of language (pp. 225\u2013249). Wiley Blackwell."},{"key":"9817_CR27","first-page":"177","volume-title":"Model-theoretic logics","author":"JH Schmerl","year":"1985","unstructured":"Schmerl, J. H. (1985). Transfer theorems and their applications to logics. In J. Barwise & S. Feferman (Eds.), Model-theoretic logics (pp. 177\u2013209). Springer-Verlag."},{"key":"9817_CR28","first-page":"1142","volume":"56","author":"P Schroeder-Heister","year":"1991","unstructured":"Schroeder-Heister, P. (1991). Uniform proof-theoretic semantics for logical constants (abstract). Journal of Symbolic Logic, 56, 1142.","journal-title":"Journal of Symbolic Logic"},{"key":"9817_CR29","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/s11229-004-6296-1","volume":"148","author":"P Schroeder-Heister","year":"2006","unstructured":"Schroeder-Heister, P. (2006). Validity concepts in proof-theoretic semantics. Synthese, 148, 525\u2013571.","journal-title":"Synthese"},{"key":"9817_CR30","unstructured":"Schroeder-Heister, P. (2023). Proof-theoretic semantics. Stanford encyclopedia of philosophy."},{"key":"9817_CR31","volume-title":"The bounds of logic","author":"G Sher","year":"1991","unstructured":"Sher, G. (1991). The bounds of logic. The MIT Press."},{"key":"9817_CR32","doi-asserted-by":"crossref","unstructured":"Smiley, T. (1996). Rejection. Analysis, 56, 1\u20139.","DOI":"10.1093\/analys\/56.1.1"},{"key":"9817_CR33","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s10992-010-9153-3","volume":"40","author":"F Steinberger","year":"2011","unstructured":"Steinberger, F. (2011). Why conclusions should remain single. Journal of Philosophical Logic, 40, 333\u201355.","journal-title":"Journal of Philosophical Logic"},{"key":"9817_CR34","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1080\/00048402.2010.528781","volume":"89","author":"F Steinberger","year":"2011","unstructured":"Steinberger, F. (2011). What harmony could and could not be. Australasian Journal of Philosophy, 89, 617\u2013639.","journal-title":"Australasian Journal of Philosophy"},{"key":"9817_CR35","doi-asserted-by":"crossref","unstructured":"Tarski, A. (1986). What are logical notions? History and Philosophy of Logic, 7, 143\u201354.","DOI":"10.1080\/01445348608837096"},{"key":"9817_CR36","volume-title":"The taming of the true","author":"N Tennant","year":"1997","unstructured":"Tennant, N. (1997). The taming of the true. Oxford University Press."},{"key":"9817_CR37","unstructured":"Williamson, T. (2010). Review of Robert Brandom, reason in philosophy: Animating ideas. Times Literary Supplement, 5579, 22\u201323."}],"container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-025-09817-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-025-09817-3","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-025-09817-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,3]],"date-time":"2026-01-03T07:14:03Z","timestamp":1767424443000},"score":0.0,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-025-09817-3"}},"issued":{"date-parts":[[2025,12]]},"references-count":37,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["9817"],"URL":"https:\/\/doi.org\/10.1007\/s10992-025-09817-3","ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"published":{"date-parts":[[2025,12]]},"assertion":[{"value":"28 October 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 December 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"n\/a.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical Approval"}},{"value":"none.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing Interests"}}]},{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T23:49:26Z","timestamp":1775000966925,"version":"3.50.1"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T00:00:00Z","timestamp":1656288000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T00:00:00Z","timestamp":1656288000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["KR 4516\/2-1"],"award-info":[{"award-number":["KR 4516\/2-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005711","name":"Universit\u00e4t Hamburg","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005711","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2022,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Belief revision theories standardly endorse a principle of intensionality to the effect that ideal doxastic agents do not discriminate between pieces of information that are equivalent within classical logic. I argue that this principle should be rejected. Its failure, on my view, does not require failures of logical omniscience on the part of the agent, but results from a view of the update as <jats:italic>mighty<\/jats:italic>: as encoding what the agent learns might be the case, as well as what must be. The view is motivated by consideration of a puzzle case, obtained by transposing into the context of belief revision a kind of scenario that Kit Fine has used to argue against intensionalism about counterfactuals. Employing the framework of truthmaker semantics, I go on to develop a novel account of belief revision, based on a conception of the update as mighty, which validates natural hyperintensional counterparts of the usual AGM postulates.<\/jats:p>","DOI":"10.1007\/s10992-022-09663-7","type":"journal-article","created":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T03:14:18Z","timestamp":1656299658000},"page":"1175-1213","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Mighty Belief Revision"],"prefix":"10.1007","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1783-8742","authenticated-orcid":false,"given":"Stephan","family":"Kr\u00e4mer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,6,27]]},"reference":[{"key":"9663_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C. E., P. G\u00e4rdenfors, & D. Makinson (1985). On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic, 50, 510\u2013530. https:\/\/doi.org\/10.2307\/2274239.","journal-title":"Journal of Symbolic Logic"},{"key":"9663_CR2","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/s10670-018-9971-1","volume":"84","author":"F Berto","year":"2019","unstructured":"Berto, F. (2019). Simple Hyperintensional Belief Revision. Erkenntnis, 84, 559\u2013575. https:\/\/doi.org\/10.1007\/s10670-018-9971-1.","journal-title":"Erkenntnis"},{"issue":"1","key":"9663_CR3","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1017\/S1755020315000258","volume":"9","author":"F Correia","year":"2016","unstructured":"Correia, F. (2016). On the Logic of Factual Equivalence. The Review of Symbolic Logic, 9(1), 103\u2013122. https:\/\/doi.org\/10.1017\/S1755020315000258.","journal-title":"The Review of Symbolic Logic"},{"key":"9663_CR4","doi-asserted-by":"publisher","first-page":"276","DOI":"10.5840\/jphil2014111522","volume":"111","author":"B Embry","year":"2014","unstructured":"Embry, B. (2014). Counterfactuals Without Possible Worlds? A Difficulty for Fine\u2019s Exact Semantics for Counterfactuals. The Journal of Philosophy, 111, 276\u2013287. https:\/\/doi.org\/10.5840\/jphil2014111522https:\/\/doi.org\/10.5840\/jphil2014111522.","journal-title":"The Journal of Philosophy"},{"key":"9663_CR5","doi-asserted-by":"publisher","unstructured":"Fagin, R., & Halpern, J. Y. (1988). Belief, awareness, and limited reasoning. Artificial Intelligence, 39\u201376. https:\/\/doi.org\/10.1016\/0004-3702(87)90003-8.","DOI":"10.1016\/0004-3702(87)90003-8"},{"key":"9663_CR6","doi-asserted-by":"publisher","unstructured":"Ferm\u00e9, E., & Hansson, S. O. (2018). Belief Change. Introduction and Overview. Springer. https:\/\/doi.org\/10.1007\/978-3-319-60535-7.","DOI":"10.1007\/978-3-319-60535-7"},{"issue":"3","key":"9663_CR7","doi-asserted-by":"publisher","first-page":"221","DOI":"10.5840\/jphil201210938","volume":"109","author":"K Fine","year":"2012","unstructured":"Fine, K. (2012a). Counterfactuals without Possible Worlds. The Journal of Philosophy, 109(3), 221\u2013246. https:\/\/doi.org\/10.5840\/jphil201210938.","journal-title":"The Journal of Philosophy"},{"key":"9663_CR8","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s11229-012-0094-y","volume":"189","author":"K Fine","year":"2012","unstructured":"Fine, K. (2012b). A Difficulty for the Possible Worlds Analysis of Counterfactuals. Synthese, 189, 29\u201357. https:\/\/doi.org\/10.1007\/s11229-012-0094-y.","journal-title":"Synthese"},{"key":"9663_CR9","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s10992-015-9371-9","volume":"45","author":"K Fine","year":"2016","unstructured":"Fine, K. (2016). Angellic Content. Journal of Philosophical Logic, 45, 199\u2013226. https:\/\/doi.org\/10.1007\/s10992-015-9371-9https:\/\/doi.org\/10.1007\/s10992-015-9371-9.","journal-title":"Journal of Philosophical Logic"},{"key":"9663_CR10","doi-asserted-by":"publisher","unstructured":"Fine, K. (2017a). A theory of truthmaker content I: conjunction, disjunction and negation. https:\/\/doi.org\/10.1007\/s10992-016-9413-y, (Vol. 46 pp. 625\u2013674).","DOI":"10.1007\/s10992-016-9413-y"},{"issue":"6","key":"9663_CR11","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1007\/s10992-016-9419-5","volume":"46","author":"K Fine","year":"2017","unstructured":"Fine, K. (2017b). A Theory of Truthmaker Content II: Subject Matter, Common Content, Remainder and Ground. Journal of Philosophical Logic, 46 (6), 675\u2013702. https:\/\/doi.org\/10.1007\/s10992-016-9419-5https:\/\/doi.org\/10.1007\/s10992-016-9419-5.","journal-title":"Journal of Philosophical Logic"},{"issue":"4","key":"9663_CR12","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1017\/S1755020318000059","volume":"11","author":"K Fine","year":"2018","unstructured":"Fine, K. (2018). Compliance and Command II, Imperatives and Deontics. The Review of Symbolic Logic, 11(4), 634\u2013664. https:\/\/doi.org\/10.1017\/S1755020318000059.","journal-title":"The Review of Symbolic Logic"},{"key":"9663_CR13","unstructured":"Fine, K. (ms). Review of Steve Yablo\u2019s Aboutness. Unpublished manuscript."},{"key":"9663_CR14","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2307\/2185133","volume":"95","author":"P G\u00e4rdenfors","year":"1986","unstructured":"G\u00e4rdenfors, P. (1986). Belief Revisions and the Ramsey Test for Conditionals. Philosophical Review, 95, 81\u201393. https:\/\/doi.org\/10.2307\/2185133.","journal-title":"Philosophical Review"},{"key":"9663_CR15","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00370643","volume":"46","author":"P G\u00e4rdenfors","year":"1987","unstructured":"G\u00e4rdenfors, P. (1987). Variations on the Ramsey Test: More Triviality Results. Studia Logica, 46, 319\u2013325. https:\/\/doi.org\/10.1007\/BF00370643.","journal-title":"Studia Logica"},{"key":"9663_CR16","unstructured":"G\u00e4rdenfors, P. (1988). Knowledge in Flux. Modeling the Dynamics of Epistemic States. MIT Press."},{"key":"9663_CR17","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A Grove","year":"1988","unstructured":"Grove, A. (1988). Two Modellings for Theory Change. Journal of Philosophical Logic, 17, 157\u2013170. https:\/\/doi.org\/10.1007\/BF00247909.","journal-title":"Journal of Philosophical Logic"},{"key":"9663_CR18","doi-asserted-by":"crossref","unstructured":"Hansson, S. O. (1999). A Textbook of Belief Dynamics. Theory Change and Database Updating. Kluwer.","DOI":"10.1007\/978-94-007-0814-3"},{"key":"9663_CR19","unstructured":"Hansson, S. O. (2017). Logic of Belief Revision. In E. N. Zalta (Ed.) The Stanford Encyclopedia of Philosophy (Winter 2017 ed.). Metaphysics Research Lab, Stanford University. https:\/\/plato.stanford.edu\/archives\/spr2022\/entries\/logic-belief-revision\/."},{"key":"9663_CR20","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1111\/phc3.12048","volume":"8\/7","author":"F Huber","year":"2013","unstructured":"Huber, F. (2013). Belief Revision I: The AGM Theory. Philosophy Compass, 8\/7, 604\u2013612. https:\/\/doi.org\/10.1111\/phc3.12048.","journal-title":"Philosophy Compass"},{"key":"9663_CR21","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198709008.001.0001","volume-title":"The Impossible","author":"M Jago","year":"2014","unstructured":"Jago, M. (2014). The Impossible. London: Oxford University Press."},{"key":"9663_CR22","doi-asserted-by":"publisher","unstructured":"Katsuno, H., & Mendelzon, A. O. (1991). Propositional knowledge base revision and minimal change. Artifical Intelligence, 52, 263\u2013294. https:\/\/doi.org\/10.1016\/0004-3702(91)90069-V.","DOI":"10.1016\/0004-3702(91)90069-V"},{"issue":"3","key":"9663_CR23","doi-asserted-by":"publisher","first-page":"994","DOI":"10.2178\/jsl\/1191333851","volume":"72","author":"G Kourousias","year":"2007","unstructured":"Kourousias, G., & Makinson, D. (2007). Parallel Interpolation, Splitting, and Relevance in Belief Change. Journal of Symbolic Logic, 72(3), 994\u20131002. https:\/\/doi.org\/10.2178\/jsl\/1191333851.","journal-title":"Journal of Symbolic Logic"},{"key":"9663_CR24","unstructured":"Kr\u00e4mer, S. (202x). Truthmaker Equivalence. To appear in a volume for Alan Weir."},{"key":"9663_CR25","volume-title":"Counterfactuals","author":"DK Lewis","year":"1973","unstructured":"Lewis, D. K. (1973). Counterfactuals. Oxford: Blackwell."},{"key":"9663_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00401549","volume":"49","author":"D Makinson","year":"1990","unstructured":"Makinson, D. (1990). The G\u00e4rdenfors Impossibility Theorem in Nonmonotonic Contexts. Studia Logica, 49, 1\u20136. https:\/\/doi.org\/10.1007\/BF00401549.","journal-title":"Studia Logica"},{"issue":"4","key":"9663_CR27","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/j.jal.2008.12.001","volume":"7","author":"D Makinson","year":"2009","unstructured":"Makinson, D. (2009). Propositional Relevance through Letter-Sharing. Journal of Applied Logic, 7(4), 377\u2013387. https:\/\/doi.org\/10.1016\/j.jal.2008.12.001.","journal-title":"Journal of Applied Logic"},{"issue":"2","key":"9663_CR28","first-page":"266","volume":"96","author":"R Parikh","year":"1999","unstructured":"Parikh, R. (1999). Beliefs, belief revision, and splitting languages. Logic, Language, and Computation, 96(2), 266\u2013278.","journal-title":"Logic, Language, and Computation"},{"key":"9663_CR29","unstructured":"Peppas, P., Chopra, S., & Foo, N. (2004). Distance semantics for relevance-sensitive belief revision. In Principles of knowledge representation and reasoning: proceedings of the ninth international conference (KR2004) (pp. 319\u2013328)."},{"key":"9663_CR30","unstructured":"Rantala, V. (1982). Impossible world semantics and logical omniscience. Acta Philosophica Fennica, 18\u201324."},{"key":"9663_CR31","unstructured":"Rothschild, D., & Yablo, S. (202x). Permissive Updates. Forthcoming. In F. Faroldi F. van de Putte (Eds.) Outstanding Contributions to Logic: Kit Fine. Springer."},{"key":"9663_CR32","doi-asserted-by":"publisher","unstructured":"Spohn, W. (2014). AGM, Ranking Theory, and the Many Ways to Cope with Examples. In S. O. Hansson (Ed.) David Makinson on Classical Methods for Non-Classical Problems. https:\/\/doi.org\/10.1007\/978-94-007-7759-0\u2216_6 (pp. 95\u2013118). Springer.","DOI":"10.1007\/978-94-007-7759-0\u2216_6"},{"key":"9663_CR33","doi-asserted-by":"publisher","unstructured":"Stalnaker, R. (1968). A Theory of Conditionals. In N. Rescher (Ed.) Studies in Logical Theory. https:\/\/doi.org\/10.1007\/978-94-009-9117-0\u2216_2, (Vol. 2 pp. 98\u2013112). Blackwell.","DOI":"10.1007\/978-94-009-9117-0\u2216_2"},{"issue":"2","key":"9663_CR34","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s10670-008-9147-5","volume":"70","author":"R Stalnaker","year":"2009","unstructured":"Stalnaker, R. (2009). Iterated Belief Revision. Erkenntnis, 70 (2), 189\u2013209. https:\/\/doi.org\/10.1007\/s10670-008-9147-5https:\/\/doi.org\/10.1007\/s10670-008-9147-5.","journal-title":"Erkenntnis"},{"issue":"15","key":"9663_CR35","doi-asserted-by":"publisher","first-page":"477","DOI":"10.2307\/2024563","volume":"66","author":"B van Fraassen","year":"1969","unstructured":"van Fraassen, B. (1969). Facts and Tautological Entailment. Journal of Philosophical Logic, 66(15), 477\u2013487. https:\/\/doi.org\/10.2307\/2024563.","journal-title":"Journal of Philosophical Logic"},{"key":"9663_CR36","volume-title":"Norm and Action","author":"GH von Wright","year":"1963","unstructured":"von Wright, G. H. (1963). Norm and Action. Chicago: Routledge & Kegan."},{"key":"9663_CR37","doi-asserted-by":"publisher","unstructured":"Yablo, S. (2011). A Problem about Permission and Possibility. In A. Egan B. Weatherstone (Eds.) Epistemic Modality. https:\/\/doi.org\/10.1093\/acprof:oso\/9780199591596.003.0010https:\/\/doi.org\/10.1093\/acprof:oso\/9780199591596.003.0010 (pp. 270\u2013294). Oxford: Oxford University Press.","DOI":"10.1093\/acprof:oso\/9780199591596.003.0010 10.1093\/acprof:oso\/9780199591596.003.0010"},{"key":"9663_CR38","volume-title":"Aboutness","author":"S Yablo","year":"2015","unstructured":"Yablo, S. (2015). Aboutness. Princeton: Princeton University Press."},{"key":"9663_CR39","doi-asserted-by":"publisher","unstructured":"\u00d6zg\u00fcn, A., & Berto, F. (2020). Dynamic Hyperintensional Belief Revision. The Review of Symbolic Logic, 1\u201346. https:\/\/doi.org\/10.1017\/S1755020319000686.","DOI":"10.1017\/S1755020319000686"}],"container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-022-09663-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-022-09663-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-022-09663-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,20]],"date-time":"2022-09-20T13:13:26Z","timestamp":1663679606000},"score":0.0,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-022-09663-7"}},"issued":{"date-parts":[[2022,6,27]]},"references-count":39,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2022,10]]}},"alternative-id":["9663"],"URL":"https:\/\/doi.org\/10.1007\/s10992-022-09663-7","ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"published":{"date-parts":[[2022,6,27]]},"assertion":[{"value":"31 August 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 March 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 June 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]},{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:33:01Z","timestamp":1752229981788},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1975,5,1]],"date-time":"1975-05-01T00:00:00Z","timestamp":168134400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1975,5]]},"DOI":"10.1007\/bf00693269","type":"journal-article","created":{"date-parts":[[2004,11,29]],"date-time":"2004-11-29T10:51:56Z","timestamp":1101725516000},"page":"97-131","source":"Crossref","is-referenced-by-count":12,"title":["Normal modal model theory"],"prefix":"10.1007","volume":"4","author":[{"given":"Kenneth A.","family":"Bowen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"1","volume-title":"Saturated Intuitionistic Theories","author":"P. Aczel","year":"1968","unstructured":"P.Aczel,Saturated Intuitionistic Theories, Contributions to Mathematical Logic, North Holland, Amsterdam, 1968, pp. 1?11."},{"key":"CR2","volume-title":"Models and Ultraproducts","author":"J. Bell","year":"1971","unstructured":"J.Bell and A.Slomsen,Models and Ultraproducts, North Holland, Amsterdam, 1971."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"195","DOI":"10.4064\/fm-51-3-195-228","volume":"51","author":"T. Frayne","year":"1962","unstructured":"T.Frayne, A.Morel, and D.Scott, ?Reduced Direct Products?,Fund. Math. 51 (1962), 195?228.","journal-title":"Fund. Math."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1002\/malq.19720180402","volume":"18","author":"D. Gabbay","year":"1972","unstructured":"D.Gabbay, ?Model Theory for Intuitionistic Logic?,Zeit. f. Math. Logik, und Grundl. d. Math. 18 (1972), 49?54.","journal-title":"Zeit. f. Math. Logik, und Grundl. d. Math."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"D. Gabbey,Craig's Interpolation Theorem for Modal Logics, Conference in Mathematical Logic-London `70, Lecture Notes in Mathematics, No. 255, Springer, 1972, pp. 111?127.","DOI":"10.1007\/BFb0059541"},{"key":"CR6","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0061131","volume-title":"Lectures in Set Theory","author":"T. Jech","year":"1971","unstructured":"T.Jech,Lectures in Set Theory, Lecture Notes in Mathematics, No. 217, Springer-Verlag, Berlin, 1971."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S. Kripke","year":"1959","unstructured":"S.Kripke, ?A Completeness Theorem in Modal Logic?,Journal of Symbolic Logic,24 (1959), 1?14.","journal-title":"Journal of Symbolic Logic"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963","unstructured":"S.Kripke, ?Semantical Analysis of Modal Logic I, Normal Propositional Calculi?,Zeit. f. math. Logik und Grundlagen d. Math. 9 (1963), 67?96.","journal-title":"Zeit. f. math. Logik und Grundlagen d. Math."},{"key":"CR9","unstructured":"S. Kripke,Semantical Considerations on Modal Logics, Acta Philosophica Fennica (1963) Modal and Many-valued Logics, pp. 83?94."},{"key":"CR10","first-page":"92","volume-title":"Semantical Analysis of Intuitionistic Logic I","author":"S. Kripke","year":"1965","unstructured":"S.Kripke,Semantical Analysis of Intuitionistic Logic I, Formal Systems and Recursive Functions, North Holland, Amsterdam, 1965, pp. 92?129."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"221","DOI":"10.2307\/1970235","volume":"74","author":"S. Kochen","year":"1962","unstructured":"S.Kochen, ?Ultraproducts in the Theory of Models?,Annals of Math. 74 (1962), 221?261.","journal-title":"Annals of Math."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF01967647","volume":"13","author":"H. Osswald","year":"1969","unstructured":"H.Osswald, ?Modelltheoretische untersuchungen in der Kripke-semantik?,Archiv. f. Math. Logik und Grundlagenforschung 13 (1969), 3?21.","journal-title":"Archiv. f. Math. Logik und Grundlagenforschung"},{"key":"CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-88664-5","volume-title":"Vollstandige Systeme Modaler und Intuitionistischer Logik","author":"K. Schutte","year":"1968","unstructured":"K.Schutte,Vollstandige Systeme Modaler und Intuitionistischer Logik, Springer-Verlag, Berlin, 1968."},{"key":"CR14","volume-title":"Mathematical Logic","author":"J. Shoenfield","year":"1967","unstructured":"J.Shoenfield,Mathematical Logic, Addison-Wesley, Reading, Mass., 1967."},{"key":"CR15","first-page":"81","volume":"13","author":"A. Tarski","year":"1957","unstructured":"A.Tarski and R.Vaught, ?Arithmetical Extensions of Relational Systems?,Composito Mathematica 13 (1957), 81?102.","journal-title":"Composito Mathematica"},{"key":"CR16","first-page":"167","volume":"12","author":"B. Fraasen van","year":"1969","unstructured":"B.vanFraasen, ?Compactness and L\u00f6wenheim-Skolem Proofs in Modal Logic?,Logique et Analyse 12 (1969), 167?178.","journal-title":"Logique et Analyse"}],"container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00693269.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00693269\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00693269","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T11:18:32Z","timestamp":1585999112000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00693269"}},"issued":{"date-parts":[[1975,5]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1975,5]]}},"alternative-id":["BF00693269"],"URL":"https:\/\/doi.org\/10.1007\/bf00693269","ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"published":{"date-parts":[[1975,5]]}},{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:41:55Z","timestamp":1747546915191},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1988,11,1]],"date-time":"1988-11-01T00:00:00Z","timestamp":594345600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1988,11]]},"DOI":"10.1007\/bf00297512","type":"journal-article","created":{"date-parts":[[2004,10,6]],"date-time":"2004-10-06T11:42:28Z","timestamp":1097062948000},"page":"391-441","source":"Crossref","is-referenced-by-count":18,"title":["Circumscriptive theories: A logic-based framework for knowledge representation"],"prefix":"10.1007","volume":"17","author":[{"given":"Vladimir","family":"Lifshitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K. R. Apt","year":"1988","unstructured":"Apt, K. R., H. A. Blair and A. Walker (1988) Towards the theory of declarative knowledge, in: J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann Publishers, Los Altos, CA, pp. 89?148."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L. Henkin","year":"1950","unstructured":"Henkin, L. (1950) Completeness in the theory of types, Journal of Symbolic Logic 15, pp. 81?91.","journal-title":"Journal of Symbolic Logic"},{"key":"CR3","unstructured":"Hofstadter D. (1985) Metamagical Themas, Bantam Books."},{"key":"CR4","unstructured":"Lifschitz, V. (1985) Computing circumscription, Proc. IJCAI-85 1, pp. 121?127."},{"key":"CR5","first-page":"179","volume-title":"Readings in Nonmonotonic Reasoning","author":"V. Lifschitz","year":"1987","unstructured":"Lifschitz, V. (1987) Pointwise circumscription, in M. Ginsberg (ed.), Readings in Nonmonotonic Reasoning, Morgan Kaufmann, Los Altos, pp. 179?193."},{"key":"CR6","unstructured":"Lifschitz, V. (1987a) Circumscriptive theories: A logic-based framework for knowledge representation. Proc. AAAI-87 1 pp. 364?368."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/B978-0-934613-40-8.50008-7","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"V. Lifschitz","year":"1988","unstructured":"Lifschitz, V. (1988) On the declarative semantics of logic programs with negation, in: J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann Publishers, Los Altos, CA, pp. 177?192."},{"key":"CR8","unstructured":"McCarthy, J. (1959) Programs with common sense, in Proceedings of the Teddington Conference on the Mechanization of Thought Processes, Her Majesty's Stationery Office, London, pp. 75?84."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J. (1980) Circumscription?a form of nonmonotonic reasoning, Artificial Intelligence 13, pp. 27?39.","journal-title":"Artificial Intelligence"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"McCarthy, J. (1986) Applications of circumscription to formalizing commonsense knowledge, Artificial Intelligence 28, pp. 89?118.","journal-title":"Artificial Intelligence"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Morris, K., J. D. Ullman and A. Van Gelder (1986) Design overview of the NAIL! system, in: G. Goos and J. Hartmanis (eds.), Third International Conference on Logic Programming (Lecture Notes in Computer Science 225), Springer-Verlag, pp. 554?568.","DOI":"10.1007\/3-540-16492-8_104"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0004-3702(87)90020-8","volume":"31","author":"D. Perlis","year":"1987","unstructured":"Perlis, D. (1987) Circumscribing with sets, Artificial Intelligence 31, pp. 201?211.","journal-title":"Artificial Intelligence"},{"key":"CR13","series-title":"Research Notes in Artificial Intelligence","volume-title":"The Mathematics of Inheritance Systems","author":"D.S. Touretzky","year":"1986","unstructured":"Touretzky, D.S. (1986) The Mathematics of Inheritance Systems, Research Notes in Artificial Intelligence, Pitman, London."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/B978-0-934613-40-8.50007-5","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"A. Gelder Van","year":"1988","unstructured":"Van Gelder, A. (1988) Negation as failure using tight derivations for general logic programs, in: J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann Publishers, Los Altos, CA, pp. 149?176."}],"container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00297512.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00297512\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00297512","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T20:12:57Z","timestamp":1554754377000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00297512"}},"issued":{"date-parts":[[1988,11]]},"references-count":14,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1988,11]]}},"alternative-id":["BF00297512"],"URL":"https:\/\/doi.org\/10.1007\/bf00297512","ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"published":{"date-parts":[[1988,11]]}},{"indexed":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T11:23:59Z","timestamp":1749813839689},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T00:00:00Z","timestamp":1137542400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2006,4]]},"DOI":"10.1007\/s10992-005-9000-0","type":"journal-article","created":{"date-parts":[[2006,1,17]],"date-time":"2006-01-17T15:29:55Z","timestamp":1137511795000},"page":"147-178","source":"Crossref","is-referenced-by-count":16,"title":["Socratic Proofs for Quantifiers\u2605"],"prefix":"10.1007","volume":"35","author":[{"given":"Andrzej","family":"Wi\u015bniewski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasilyi","family":"Shangin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,1,18]]},"reference":[{"key":"9000_CR1","first-page":"1","volume-title":"Logic: Foundations to Applications","author":"A. Avron","year":"1996","unstructured":"Avron, A. (1996): The method of hypersequents in the proof theory of propositional non-classical logics, in W. Hodges et al. (eds.), Logic: Foundations to Applications, Oxford Science Publications, Clarendon, Oxford, pp. 1\u201332."},{"key":"9000_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-010-0387-2_1","volume-title":"Handbook of Philosophical Logic, 2nd Edition, Volume 8","author":"D. Harrah","year":"2002","unstructured":"Harrah, D. (2002): The logic of questions', in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Volume 8, 2nd edn, Kluwer, Dordrecht\/Boston\/London, pp. 1\u201360."},{"key":"9000_CR3","unstructured":"Leszczy\u0144ska, D. (2004): Socratic proofs for some normal modal propositional logics, Log. Anal. 185\u2013188, 259\u2013285."},{"key":"9000_CR4","first-page":"58","volume":"48","author":"H. Rasiowa","year":"1960","unstructured":"Rasiowa, H. and Sikorski, R. (1960): On the Gentzen theorem, Fundam. Math. 48, 58\u201369.","journal-title":"Fundam. Math."},{"key":"9000_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511565687","volume-title":"Multiple-Conclusion Logic","author":"D. J. Shoesmith","year":"1978","unstructured":"Shoesmith, D. J. and Smiley, T. J.: 1978, Multiple-Conclusion Logic, Cambridge University Press, Cambridge."},{"key":"9000_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"R. Smullyan","year":"1968","unstructured":"Smullyan, R. (1968): First-Order Logic, Springer, Berlin Heidelberg New York."},{"key":"9000_CR7","unstructured":"Vanackere, G. (2004): Logica en het waardevolle in de wereld. De rol van adaptieve logica's bij de constructie van theorie\u00ebn (Logic and the valuable aspects of the world. The role of adaptive logics in the construction of theories). Ph.D. Dissertation, University of Ghent."},{"issue":"2","key":"9000_CR8","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01050342","volume":"23","author":"A. Wi\u015bniewski","year":"1994","unstructured":"Wi\u015bniewski, A. (1994): Erotetic implications. J. Philos. Logic 23(2), 173\u2013195.","journal-title":"J. Philos. Logic"},{"key":"9000_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8406-7","volume-title":"The Posing of Questions: Logical Foundations of Erotetic Inferences","author":"A. Wi\u015bniewski","year":"1995","unstructured":"Wi\u015bniewski, A. (1995): The Posing of Questions: Logical Foundations of Erotetic Inferences, Kluwer, Dordrecht\/Boston\/London."},{"issue":"2","key":"9000_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00413820","volume":"109","author":"A. Wi\u015bniewski","year":"1996","unstructured":"Wi\u015bniewski, A. (1996): The logic of questions as a theory of erotetic arguments. Synthese 109(2), 1\u201325.","journal-title":"Synthese"},{"key":"9000_CR11","first-page":"5","volume":"173\u2013175","author":"A. Wi\u015bniewski","year":"2001","unstructured":"Wi\u015bniewski, A. (2001): Questions and inferences, Log. Anal. 173\u2013175, 5\u201343.","journal-title":"Log. Anal."},{"key":"9000_CR12","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1023\/B:LOGI.0000031374.60945.6e","volume":"33","author":"A. Wi\u015bniewski","year":"2004","unstructured":"Wi\u015bniewski, A. (2004): Socratic proofs, J. Philos. Logic 33, 299\u2013326.","journal-title":"J. Philos. Logic"},{"key":"9000_CR13","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/s11225-005-8477-4","volume":"80","author":"A. Wi\u015bniewski","year":"2005","unstructured":"Wi\u015bniewski, A., Vanackere, G. and Leszczy\u0144ska, D. (2005): Socratic proofs and paraconsistency: a case study, Stud. Log. 80, 433\u2013468.","journal-title":"Stud. Log."}],"container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-005-9000-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-005-9000-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-005-9000-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T01:29:47Z","timestamp":1559352587000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-005-9000-0"}},"issued":{"date-parts":[[2006,1,18]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,4]]}},"alternative-id":["9000"],"URL":"https:\/\/doi.org\/10.1007\/s10992-005-9000-0","ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"published":{"date-parts":[[2006,1,18]]}},{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T00:05:53Z","timestamp":1752192353553,"version":"3.41.2"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1997,10,1]],"date-time":"1997-10-01T00:00:00Z","timestamp":875664000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,10,1]],"date-time":"1997-10-01T00:00:00Z","timestamp":875664000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Philosophical Logic"],"published-print":{"date-parts":[[1997,10]]},"DOI":"10.1023\/a:1004224213263","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T13:18:08Z","timestamp":1040476688000},"page":"521-544","source":"Crossref","is-referenced-by-count":3,"title":["De Re Language, De Re Eliminability, and the Essential Limits of Both"],"prefix":"10.1007","volume":"26","author":[{"given":"Thomas","family":"Schwartz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"106237_CR1","first-page":"277","volume":"7","author":"K. Fine","year":"1978","unstructured":"Fine, Kit (1978): Model theory for modal logic\u2013Part II: the elimination of de re modalities, Journal of Philosophical Logic\n7: 277\u2013306.","journal-title":"Journal of Philosophical Logic"},{"key":"106237_CR2","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1111\/j.1755-2567.1961.tb00020.x","volume":"27","author":"J. Hintikka","year":"1961","unstructured":"Hintikka, Jaako (1961): Modality and quantification, Theoria\n27: 119\u2013128.","journal-title":"Theoria"},{"key":"106237_CR3","unstructured":"Hughes, G. E. and Cresswell, M. J. (1968): An Introduction to Modal Logic. Methuen, London."},{"key":"106237_CR4","unstructured":"Kaplan, David (1986): Opacity, In Hahn, Lewis, E. and Schilpp, Paul A. (eds.), The Philosophy of W. V. Quine, pp. 229\u2013288. Open Court, La Salle, IL."},{"key":"106237_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2964568","volume":"23","author":"S. Kripke","year":"1959","unstructured":"Kripke, Saul (1959): A completeness theorem in modal logic, Journal of Symbolic Logic\n23: 1\u201314.","journal-title":"Journal of Symbolic Logic"},{"key":"106237_CR6","first-page":"83","volume":"16","author":"S. Kripke","year":"1963","unstructured":"Kripke, Saul (1963): Semantical considerations on modal logic, Acta Philosophica Fennica\n16: 83\u201394.","journal-title":"Acta Philosophica Fennica"},{"key":"106237_CR7","doi-asserted-by":"crossref","first-page":"35","DOI":"10.2307\/2183810","volume":"78","author":"T. Parsons","year":"1969","unstructured":"Parsons, Terence (1969): Essentialism and quantified modal logic, Philosophical Review\n78: 35\u201352.","journal-title":"Philosophical Review"},{"key":"106237_CR8","volume-title":"Formal Logic","author":"A. N. Prior","year":"1955","unstructured":"Prior, Arthur N. (1955): Formal Logic. Oxford University Press, Oxford."},{"key":"106237_CR9","first-page":"139","volume-title":"From a Logical Point of View","author":"W. V. Quine","year":"1961","unstructured":"Quine, W. V. (1961): Reference and modality. In Quine, W. V. From a Logical Point of View, pp. 139\u2013159. Harvard University Press, Cambridge, MA."},{"key":"106237_CR10","first-page":"156","volume-title":"The Ways of Paradox","author":"W. V. Quine","year":"1966","unstructured":"Quine, W. V. (1966): Three grades of modal involvement. In Quine, W. V. The Ways of Paradox, pp. 156\u2013174. Random House, New York."},{"key":"106237_CR11","unstructured":"Quine, W. V. (1986): Reply to Dagfinn F\u00f8lesdal and Reply to David Kaplan. In Hahn, Lewis, E. and Schilpp, Paul A. (eds), The Philosophy of W. V. Quine, pp. 114\u2013115, 290\u2013294. Open Court, La Salle, IL."},{"key":"106237_CR12","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1305\/ndjfl\/1093882540","volume":"20","author":"T. Schwartz","year":"1979","unstructured":"Schwartz, Thomas (1979): Necessary truth as analyticity and the eliminability of monadic de reformulas, Notre Dame Journal of Formal Logic\n20: 336\u2013340.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"106237_CR13","doi-asserted-by":"crossref","unstructured":"Thomason, Richmond H. (1970): Some completeness results for modal predicate calculi. In Karel Lambert (ed.), Philosophical Problems in Logic, pp. 56\u201376. Reidel, Boston.","DOI":"10.1007\/978-94-010-3272-8_3"},{"key":"106237_CR14","unstructured":"Wright, G. H. von (1951): An Essay in Modal Logic. North-Holland, Amsterdam."}],"container-title":["Journal of Philosophical Logic"],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004224213263.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004224213263\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1023\/A:1004224213263","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004224213263.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:39:16Z","timestamp":1752147556000},"score":0.0,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004224213263"}},"issued":{"date-parts":[[1997,10]]},"references-count":14,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1997,10]]}},"alternative-id":["106237"],"URL":"https:\/\/doi.org\/10.1023\/a:1004224213263","ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"published":{"date-parts":[[1997,10]]}}],"items-per-page":20,"query":{"start-index":0,"search-terms":null}}}