{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T21:16:06Z","timestamp":1774127766917,"version":"3.50.1"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,11,16]],"date-time":"2016-11-16T00:00:00Z","timestamp":1479254400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.1007\/s11229-016-1265-z","type":"journal-article","created":{"date-parts":[[2016,11,17]],"date-time":"2016-11-17T07:11:46Z","timestamp":1479366706000},"page":"1231-1254","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":30,"title":["On constructing a logic for the notion of complete and immediate formal grounding"],"prefix":"10.1007","volume":"195","author":[{"given":"Francesca","family":"Poggiolesi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,16]]},"reference":[{"key":"1265_CR1","volume-title":"Posterior analytics","author":"Aristotle","year":"1994","unstructured":"Aristotle, (1994). Posterior analytics (2nd ed.). Oxford: Oxford University Press.","edition":"2"},{"key":"1265_CR2","unstructured":"Bliss, R., & Trogdon, K. (2016). Metaphysical grounding. In E. N. Zalta (Ed.), The stanford encyclopedia of philosophy (pp. 1\u201342)."},{"key":"1265_CR3","volume-title":"Theory of science","author":"B Bolzano","year":"2015","unstructured":"Bolzano, B. (2015). Theory of science. Oxford: Oxford University Press."},{"issue":"211","key":"1265_CR4","first-page":"79","volume":"53","author":"F Correia","year":"2010","unstructured":"Correia, F. (2010). Grounding and truth-functions. Logique et Analyse, 53(211), 79\u2013251.","journal-title":"Logique et Analyse"},{"issue":"1","key":"1265_CR5","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1017\/S1755020313000300","volume":"7","author":"F Correia","year":"2014","unstructured":"Correia, F. (2014). Logical grounds. Review of Symbolic Logic, 7(1), 31\u201359.","journal-title":"Review of Symbolic Logic"},{"issue":"1","key":"1265_CR6","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1017\/S1755020315000258","volume":"9","author":"F Correia","year":"2016","unstructured":"Correia, F. (2016). On the logic of factual equivalence. Review of Symbolic Logic, 9(1), 103\u2013122.","journal-title":"Review of Symbolic Logic"},{"key":"1265_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/CBO9781139149136","volume-title":"Metaphysical grounding","author":"F Correia","year":"2012","unstructured":"Correia, F., & Schnieder, B. (2012). Grounding: An opinionated introduction. In F. Correia & B. Schnieder (Eds.), Metaphysical grounding (pp. 1\u201336). Cambridge: Cambridge University Press."},{"issue":"1","key":"1265_CR8","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1215\/00294527-2010-007","volume":"51","author":"K Fine","year":"2010","unstructured":"Fine, K. (2010). Some puzzles of ground. Notre Dame Journal of Formal Logic, 51(1), 97\u2013118.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"1265_CR9","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1017\/CBO9781139149136.002","volume-title":"Metaphysical grounding","author":"K Fine","year":"2012","unstructured":"Fine, K. (2012). Guide to ground. In F. Correia & B. Schnieder (Eds.), Metaphysical grounding (pp. 37\u201380). Cambridge: Cambridge University Press."},{"issue":"1","key":"1265_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S1755020311000086","volume":"25","author":"K Fine","year":"2012","unstructured":"Fine, K. (2012). The pure logic of ground. Review of Symbolic Logic, 25(1), 1\u201325.","journal-title":"Review of Symbolic Logic"},{"key":"1265_CR11","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1002\/tht3.158","volume":"4","author":"S Kr\u00e4mer","year":"2015","unstructured":"Kr\u00e4mer, S., & Roski, S. (2015). A note on the logic of worldly ground. Thought, 4, 59\u201368.","journal-title":"Thought"},{"key":"1265_CR12","volume-title":"Getzen calculi for modal propositional logic","author":"F Poggiolesi","year":"2010","unstructured":"Poggiolesi, F. (2010). Getzen calculi for modal propositional logic. Dordrecht: Springer."},{"key":"1265_CR13","doi-asserted-by":"crossref","unstructured":"Poggiolesi, F. (2016a). A critical overview of the most recent logics of grounding. In F. Boccuni & A. Sereni (Eds.), Objectivity, realism and proof. Boston studies in the philosophy and history of science (pp. 1\u201318).","DOI":"10.1007\/978-3-319-31644-4_15"},{"key":"1265_CR14","doi-asserted-by":"crossref","unstructured":"Poggiolesi, F. (2016b). On defining the notion of complete and immediate formal grounding. Synthese, 193: 3147\u20133167.","DOI":"10.1007\/s11229-015-0923-x"},{"issue":"3","key":"1265_CR15","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1017\/S1755020313000154","volume":"6","author":"A Rumberg","year":"2013","unstructured":"Rumberg, A. (2013). Bolzano\u2019s theory of grounding against the background of normal proofs. Review of Symbolic Logic, 6(3), 424\u2013459.","journal-title":"Review of Symbolic Logic"},{"key":"1265_CR16","doi-asserted-by":"crossref","unstructured":"Schaffer, J. (2009). On what grounds what. In Metametaphysics (pp. 347\u2013383).","DOI":"10.1093\/oso\/9780199546046.003.0012"},{"issue":"4","key":"1265_CR17","first-page":"317","volume":"53","author":"B Schnieder","year":"2010","unstructured":"Schnieder, B. (2010). A puzzle about \u2018because\u2019. Logique et Analyse, 53(4), 317\u2013343.","journal-title":"Logique et Analyse"},{"issue":"03","key":"1265_CR18","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1017\/S1755020311000104","volume":"4","author":"B Schnieder","year":"2011","unstructured":"Schnieder, B. (2011). A logic for \u2018because\u2019. The Review of Symbolic Logic, 4(03), 445\u2013465.","journal-title":"The Review of Symbolic Logic"},{"key":"1265_CR19","volume-title":"Logique et mathematique chez Bernard Bolzano","author":"J Sebestik","year":"1992","unstructured":"Sebestik, J. (1992). Logique et mathematique chez Bernard Bolzano. Paris: J. Vrin."},{"issue":"1","key":"1265_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1305\/ndjfl\/1071505767","volume":"43","author":"A Tatzel","year":"2002","unstructured":"Tatzel, A. (2002). Bolzano\u2019s theory of ground and consequence. Notre Dame Journal of Formal Logic, 43(1), 1\u201325.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"1265_CR21","volume-title":"Basic proof theory","author":"AS Troelstra","year":"1996","unstructured":"Troelstra, A. S., & Schwichtenberg, H. (1996). Basic proof theory. Cambridge: Cambridge University Press."},{"key":"1265_CR22","volume-title":"Logic and structure","author":"D Dalen van","year":"1991","unstructured":"van Dalen, D. (1991). Logic and structure. Dordrecht: Springer."},{"key":"1265_CR23","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1093\/logcom\/4.2.125","volume":"4","author":"H Wansing","year":"1994","unstructured":"Wansing, H. (1994). Sequent calculi for normal modal propositional logics. Journal of Logic and Computation, 4, 125\u2013142.","journal-title":"Journal of Logic and Computation"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-016-1265-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-016-1265-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-016-1265-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,20]],"date-time":"2024-06-20T17:11:52Z","timestamp":1718903512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-016-1265-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,16]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,3]]}},"alternative-id":["1265"],"URL":"https:\/\/doi.org\/10.1007\/s11229-016-1265-z","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,11,16]]}}}