{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:37:09Z","timestamp":1743014229199,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":36,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789400719224"},{"type":"electronic","value":"9789400719231"}],"license":[{"start":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T00:00:00Z","timestamp":1315440000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T00:00:00Z","timestamp":1315440000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-94-007-1923-1_11","type":"book-chapter","created":{"date-parts":[[2011,9,21]],"date-time":"2011-09-21T07:52:52Z","timestamp":1316591572000},"page":"191-212","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Type-Theoretical Dynamics"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Primiero","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,8]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C. E., P. G\u00e4rdenfors, and D. Makinson. 1985. \u201cOn the Logic of Theory Change: Partial Meet Contraction and Revision Functions.\u201d Journal of Symbolic Logic 50:510\u201330.","journal-title":"Journal of Symbolic Logic"},{"issue":"6","key":"11_CR2","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1093\/logcom\/exi053","volume":"15","author":"S. Artemov","year":"2005","unstructured":"Artemov, S., and E. Nogina. 2005. \u201cIntroducing Justification to Epistemic Logic.\u201d Journal of Logic and Computation 15(6):1059\u201373.","journal-title":"Journal of Logic and Computation"},{"key":"11_CR3","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"H. P. Barendregt","year":"1984","unstructured":"Barendregt, H. P. 1984. The Lambda Calculus: Its Syntax and Semantics, vol. 103 of Studies in Logic and the Foundations of Mathematics (Revised Edition). Amsterdam: North Holland."},{"issue":"5","key":"11_CR4","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1093\/jigpal\/10.5.461","volume":"10","author":"T. Borghuis","year":"2002","unstructured":"Borghuis, T., F. Kamareddine, and R. Nederpelt. 2002. \u201cFormalizing Belief Revision in Type Theory.\u201d Logic Journal of the IGPL 10(5):461\u2013500.","journal-title":"Logic Journal of the IGPL"},{"key":"11_CR5","volume-title":"The Logic of Theory Change Workshop, Konstanz, vol. 465 of Lecture Notes in Computer Science","author":"G. Brewka","year":"1991","unstructured":"Brewka, G. 1991. \u201cBelief Revision in a Framework for Default Reasoning.\u201d In The Logic of Theory Change Workshop, Konstanz, vol. 465 of Lecture Notes in Computer Science. Berlin: Springer."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Cholvy, L., and T. Hunter. 1997. \u201cFusion in Logic: A Brief Overview.\u201d In 4th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, vol. 1244 of Lectures Notes in Computer Science, 86\u201395.","DOI":"10.1007\/BFb0035614"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1017\/S1755020308080246","volume":"1","author":"D. Gabbay","year":"2008","unstructured":"Gabbay, D., O. Rodriguez, and A. Russo. 2008. \u201cBelief Revision in Non-Classical Logics.\u201d The Review of Symbolic Logic 1:267\u2013304.","journal-title":"The Review of Symbolic Logic"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2307\/2185133","volume":"95","author":"P. G\u00e4rdenfors","year":"1986","unstructured":"G\u00e4rdenfors, P. 1986. \u201cBelief Revision and the Ramsey Test for Conditionals.\u201d Philosophical Review 95:81\u201393.","journal-title":"Philosophical Review"},{"key":"11_CR9","volume-title":"Knowledge in Flux","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P. 1988. Knowledge in Flux. Cambridge, MA: Cambridge University Press."},{"key":"11_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/1-4020-3399-0","volume-title":"The Dynamics of Thought. Synthese Library","author":"P. G\u00e4rdenfors","year":"2005","unstructured":"G\u00e4rdenfors, P. 2005. The Dynamics of Thought. Synthese Library. Dordrecht: Springer."},{"issue":"2","key":"11_CR11","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0004-3702(94)90017-5","volume":"65","author":"P. G\u00e4rdenfors","year":"1994","unstructured":"G\u00e4rdenfors, P., and D. Makinson. 1994. \u201cNonmonotonic Inference Based on Expectations.\u201d Artificial Intelligence 65(2):197\u2013245.","journal-title":"Artificial Intelligence"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"Grove, A. 1988. \u201cTwo Modelings for Theory Change.\u201d Journal of Philosophical Logic 17:157\u201370.","journal-title":"Journal of Philosophical Logic"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"52","author":"J. Y. Halpern","year":"1992","unstructured":"Halpern, J. Y., and Y. Moses. 1992. \u201cA Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief.\u201d Artificial Intelligence 52:319\u201379.","journal-title":"Artificial Intelligence"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"845","DOI":"10.2307\/2275912","volume":"59","author":"S. O. Hansson","year":"1994","unstructured":"Hansson, S. O. 1994. \u201cKernel Contraction.\u201d Journal of Symbolic Logic 59:845\u201359.","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"11_CR15","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1080\/11663081.1997.10510904","volume":"7","author":"S. O. Hansson","year":"1997","unstructured":"Hansson, S. O. 1997. \u201cSemi-Revision.\u201d Journal of Applied Non-Classical Logics 7(2): 151\u201375.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"11_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A Textbook of Belief Dynamics. Applied Logic","author":"S. O. Hansson","year":"1999","unstructured":"Hansson, S. O. 1999. A Textbook of Belief Dynamics. Applied Logic. Dordrecht: Kluwer."},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1093\/logcom\/13.1.37","volume":"13","author":"S. O. Hansson","year":"2003","unstructured":"Hansson, S. O. 2003. \u201cTen Philosophical Problems in Belief Revision.\u201d Journal of Logic and Computation 13:37\u201349.","journal-title":"Journal of Logic and Computation"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1023\/A:1014654208944","volume":"70","author":"S. O. Hansson","year":"2002","unstructured":"Hansson, S. O., and R. Wassermann. 2002. \u201cLocal Change.\u201d Studia Logica 70:49\u201376.","journal-title":"Studia Logica"},{"key":"11_CR19","first-page":"387","volume-title":"Principles of Knowledge Representation and Reasoning","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H., and A. O. Mendelzon. 1991. \u201cOn the Difference Between Updating a Knowledge Base and Revising It.\u201d In Principles of Knowledge Representation and Reasoning, edited by J. A. Allen, R. Fikes, and E. Sandewall, 387\u201394. Los Altos, CA: Morgan Kaufmann."},{"key":"11_CR20","volume-title":"Theory of Knowledge","author":"K. Lehrer","year":"1990","unstructured":"Lehrer, K. 1990. Theory of Knowledge. London: Routledge."},{"issue":"3","key":"11_CR21","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/BF00484985","volume":"73","author":"P. Martin-L\u00f6f","year":"1987","unstructured":"Martin-L\u00f6f, P. 1987. \u201cTruth of a Proposition, Evidence of a Judgement, Validity of a Proof.\u201d Synthese 73(3):407\u201320.","journal-title":"Synthese"},{"key":"11_CR22","first-page":"127","volume-title":"Twenty-Five Years of Constructive Type Theory","author":"P. Martin-L\u00f6f","year":"1998","unstructured":"Martin-L\u00f6f, P. 1998. An Intuitionistic Theory of Types. In Twenty-Five Years of Constructive Type Theory, edited by G. Sambin and J. Smith, 127\u201372. Oxford: Oxford University Press."},{"issue":"1","key":"11_CR23","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1305\/ndjfl\/1040308831","volume":"36","author":"P. Peppas","year":"1995","unstructured":"Peppas, P., and M. A. Williams. 1995. \u201cConstructive Modelings for Theory Change.\u201d Notre Dame Journal of Formal Logic 36(1):120\u201333.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"11_CR24","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"Poole, D. 1988. \u201cA Logical Framework for Default Reasoning.\u201d Artificial Intelligence 36:27\u201347.","journal-title":"Artificial Intelligence"},{"key":"11_CR25","unstructured":"Primiero, G. 2004. \u201cPresuppositions, Assumptions, Premises.\u201d Master\u2019s thesis, Universiteit Leiden."},{"key":"11_CR26","first-page":"177","volume-title":"The Logica Yearbook 2005","author":"G. Primiero","year":"2006","unstructured":"Primiero, G. 2006. \u201cBelief Revision in Constructive Type Theory.\u201d In The Logica Yearbook 2005, edited by O. Tomala and R. Honz\u00edk, 177\u201388. Filosofia: Czech Academy of Science."},{"key":"11_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6170-7","volume-title":"Information & Knowledge","author":"G. Primiero","year":"2008","unstructured":"Primiero, G. 2008. Information & Knowledge, vol. 10 of Logic, Epistemology and the Unity of Sciences. Berlin: Springer."},{"key":"11_CR28","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1080\/01445340902872630","volume":"30","author":"G. Primiero","year":"2009","unstructured":"Primiero, G. 2009. \u201cProceeding in Abstraction. From Concepts to Type and the Recent Perspective on Information.\u201d History and Philosophy of Logic 30:257\u201382.","journal-title":"History and Philosophy of Logic"},{"key":"11_CR29","first-page":"443","volume-title":"Prioritized Dynamic Retraction Function on Non-Monotonic Information Updates","author":"G. Primiero","year":"2010","unstructured":"Primiero, G. 2010. Prioritized Dynamic Retraction Function on Non-Monotonic Information Updates, vol. 21 of Studies in Logic, 443\u201363. London: College Publications."},{"issue":"2","key":"11_CR30","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s11229-008-9370-2","volume":"165","author":"G. Primiero","year":"2008","unstructured":"Primiero, G., and J. Meheus. 2008. \u201cMajority Merging by Adaptive Counting.\u201d Synthese (KRA), 165(2):203\u201323.","journal-title":"Synthese (KRA)"},{"key":"11_CR31","volume-title":"Type-Theoretical Grammar","author":"A. Ranta","year":"1994","unstructured":"Ranta, A. 1994. Type-Theoretical Grammar, vol. 1. Oxford: Clarendon Press, Oxford University Press."},{"key":"11_CR32","unstructured":"Restall, G., and J. Slaney. 1995. \u201cRealistic Belief Revision.\u201d Technical Report TRARP-2-95, Research School of Information Sciences and Engineering and Centre for Information Science Research, Australian National University, Canberra, Australia."},{"key":"11_CR33","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198503064.001.0001","volume-title":"Change, Choice and Inference\u2014A Study of Belief Revision and Non-Monotonic Reasoning","author":"H. Rott","year":"2001","unstructured":"Rott, H. 2001. Change, Choice and Inference\u2014A Study of Belief Revision and Non-Monotonic Reasoning. Oxford: Oxford Science."},{"key":"11_CR34","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1093\/oso\/9780198501275.001.0001","volume-title":"Twenty-Five Years of Constructive Type Theory","author":"G. Sambin","year":"1998","unstructured":"Sambin, G., and S. Valentini. 1998. \u201cBuilding Up a Toolbox for Martin-L\u00f6f Type Theory: Subset Theory. In Twenty-Five Years of Constructive Type Theory, edited by G. Sambin and S. Valentini, 221\u201344. Oxford: Oxford University Press."},{"key":"11_CR35","volume-title":"Inquiry","author":"R. C. Stalnaker","year":"1984","unstructured":"Stalnaker, R. C. 1984. Inquiry. Cambridge, MA: MIT Press\/Bradford Books."},{"key":"11_CR36","unstructured":"Tamminga, A. M. 2001. \u201cBelief Dynamics\u2014(Epistemo)logical Investigations.\u201d PhD thesis, Universiteit van Amsterdam."}],"container-title":["The Realism-Antirealism Debate in the Age of Alternative Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-1923-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T05:33:57Z","timestamp":1712900037000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-94-007-1923-1_11"}},"subtitle":["Exploring Belief Revision in a Constructive Framework"],"short-title":[],"issued":{"date-parts":[[2011,9,8]]},"ISBN":["9789400719224","9789400719231"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-1923-1_11","relation":{},"subject":[],"published":{"date-parts":[[2011,9,8]]},"assertion":[{"value":"8 September 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}