{"entities":{"Q1583791":{"pageid":1594531,"ns":120,"title":"Item:Q1583791","lastrevid":72249981,"modified":"2026-04-14T03:37:59Z","type":"item","id":"Q1583791","labels":{"en":{"language":"en","value":"DDL unlimited: Dynamic doxastic logic for introspective agents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1523359"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583791$C46033E7-3516-4B96-9314-213971EF5DA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b24ff3511b776fd0f73565f4614085d3509f62f","datavalue":{"value":{"text":"DDL unlimited: Dynamic doxastic logic for introspective agents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1583791$266A92F1-DBF3-4AB8-8C27-FA9B7A905457","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cb494403072ab603713184daa7b3b634642079b","datavalue":{"value":"0969.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583791$DD61CFF4-2ACD-4516-81C5-7AE847AAFA18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cba3354bd0878e77589a3db36de8d1a62d550623","datavalue":{"value":"10.1023/A:1005577906029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583791$C82AF56A-7977-46B2-96FE-9B40B9FCB6C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36ea7108facc50255ff8cad63c1c9aee54741c1e","datavalue":{"value":{"entity-type":"item","numeric-id":1118575,"id":"Q1118575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583791$A3491E85-774E-4E79-B327-E4879CFA9F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6820f55180b2601509d61d3256bdd603d3f75b11","datavalue":{"value":{"entity-type":"item","numeric-id":201916,"id":"Q201916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583791$7A254771-DA17-4163-BD6C-6F2EECADB1C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f250921565a0fac08712ded5da7371b9cfcccefe","datavalue":{"value":{"entity-type":"item","numeric-id":175260,"id":"Q175260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583791$57DB8CC8-BB66-48B4-ABB6-0B3CCA804DB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59ea4949cd195538d36d37b7bd4b8aeca2efcfa4","datavalue":{"value":{"time":"+2001-10-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1583791$560A3688-9C13-400A-8299-5405898859B5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd17986899302d2f75755fca8ef457555e20fb9b","datavalue":{"value":"This is a paper in the logic of belief and belief change. The authors consider a liberalization of the syntax of \\textit{K. Segerberg's} dynamic doxastic logic [in: H. J. Ohlbach et al. (eds.), Logic, language and reasoning, Trends Log. Stud. Log. Liber. 5, 135-147 (1999; Zbl 0957.03023)] so that the belief operator may be nested and applied also to statements of belief change correctness. The development of a Segerberg-style semantics for this language is explored, i.e., a semantics in which a doxastic state is postulated to be a so-called hypertheory, a family \\({\\mathbf H}\\) of closed sets such that the intersection of \\({\\mathbf H}\\) and the underlying universe belong to \\({\\mathbf H}\\). This development is hampered by a number of unacceptable, `paradoxical' formulas emerging as valid. A remedy free of the observed shortcoming is presented. A distinction is drawn between states in which a belief is held (points of evaluation) and states about which certain things are believed (points of reference). Formulas are then evaluated at pairs \\((x,y)\\), where \\(x\\) is the point of evaluation and \\(y\\) the point of reference. In this two-dimensional semantics a distinction can be made between weak and strong validity. Certain formulas problematic within the one-dimensional semantics receive a new, unproblematic reading. Moreover, other problems can be avoided by assuming that various introspection principles are only weakly valid. The authors do not consider metalogical properties of their two-dimensional dynamic logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583791$17539189-2A99-4892-87C3-EDF686024BD3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4ac137399d9f2a1340fb827cf9bcada44aa811f7","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583791$FF89CCA6-6E4B-44C1-B58F-2A3A15ABF1CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583791$13A91EB0-B24A-4265-A633-E8C81A509527","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"451a28f55201f1f22d7bafc5fb1b1b4de80a00b2","datavalue":{"value":"1523359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583791$63EB5425-DF6E-4130-8324-D75617BE6B64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74f3dca56b5f06e9539c1b7f9097f820645e1a33","datavalue":{"value":"two-dimensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583791$56B46FAB-E3C1-4CEB-B7F0-778E1B13F8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e3897b6c80275d8a1fea3f0a7c343ff302ba05","datavalue":{"value":"logic of belief","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583791$E4DF203B-FEF6-46C5-8E89-966362FD5D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedeaeac111061df471ac114d83c77ac38d00603","datavalue":{"value":"belief change","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583791$2EE80E29-38A3-4C83-A8D3-3FB71A97D5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583791$CD3FB340-6169-4EB9-9768-F3495DB42E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b06164dff6c8b8a25ffbc92255f7edb59b51acd9","datavalue":{"value":"doxastic state","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583791$B576208D-D276-4B9C-B9EA-8317FA2937CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1bb2a944625f9356e658d392b203095d287291","datavalue":{"value":"hypertheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583791$004E3774-2098-4F68-A590-22CD65CDA1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583791$5DFE2BB3-F8C3-4094-A80A-D27DC98B149A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583791$A1613888-772D-42E9-B8C9-4AA0764C822A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56069ccbf6d63d7b23025d4011e141edee4c4e2c","datavalue":{"value":"https://doi.org/10.1023/a:1005577906029","type":"string"},"datatype":"url"},"type":"statement","id":"Q1583791$531FECB9-E4BF-461A-9080-EDC7A2EEF08C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e3d7bf07aded1a2cf91950f3b2c0b3d78db6237","datavalue":{"value":"W1536420016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583791$6FBD36C8-BC36-46D2-9A30-4DDFE88642F3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"928506c0091108d3cddc09b28479466092f8fb2e","datavalue":{"value":"Q59410256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583791$A140898A-3C6D-4C3E-B4E7-9E92AEEE0357","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1061269aa6b0f82a15d920920a0799d7c034e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4946225,"id":"Q4946225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c88d38bdc3835ecdb0db855465ce4f92175aa3b","datavalue":{"value":{"amount":"+0.85997164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583791$5CBD8A69-F466-4921-81B5-E82F5F4FD3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90d402756f974e0a3030b7688f494a83b3f2d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4847368,"id":"Q4847368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f9388fc48a33902de921b1d70048ddd6e482bf","datavalue":{"value":{"amount":"+0.85430163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583791$F319637F-7BAE-4183-BFED-E60F3BB12A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5845719263ed7e826dd3138d2d568bd6da2dc793","datavalue":{"value":{"entity-type":"item","numeric-id":4982655,"id":"Q4982655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7d92344f809b85210b5fb70dc27bfdd83b20af","datavalue":{"value":{"amount":"+0.84488255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583791$5C03954E-AB5F-4A54-869A-3A674CADD907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7680a16fd4397de7ee16ce438e25f06645b74eb9","datavalue":{"value":{"entity-type":"item","numeric-id":4982656,"id":"Q4982656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a73c8f28f25121022d687e2263b40d09b5921f","datavalue":{"value":{"amount":"+0.84317946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583791$B25DC3AC-1E5A-4798-9923-85CC7A735F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eaba415ec9943f714f57471d4909dd5c918117f","datavalue":{"value":{"entity-type":"item","numeric-id":2144184,"id":"Q2144184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b54e2af3db2ddd68fd20ab2ffe6b7959de969553","datavalue":{"value":{"amount":"+0.8397131","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583791$9D0565D1-E1BE-422E-91AE-6689CD5547AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a3fb0f3307041652d527cbd8d97acae6954101b","datavalue":{"value":{"entity-type":"item","numeric-id":3577742,"id":"Q3577742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd9e12276a7b3d88e95e2a1d06ed2c747adc41f","datavalue":{"value":{"amount":"+0.83026826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583791$2AA50F91-39C0-4E4D-8F04-905BD86F2539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1412ad472ba84ed371537266cba49aced9de307e","datavalue":{"value":{"entity-type":"item","numeric-id":4379676,"id":"Q4379676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a159b1bf9c6a26c2288393049168cc9772b4aeb3","datavalue":{"value":{"amount":"+0.82926726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583791$52C23A5D-E818-4719-BB23-5225D5C70A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f95d1b39e3283ca59899f38596c873cf76211326","datavalue":{"value":{"entity-type":"item","numeric-id":1583790,"id":"Q1583790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240a8bab36a9257fb139fbf53579ac9b30c6f066","datavalue":{"value":{"amount":"+0.82489413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583791$F34B077B-9C6E-470B-882F-2B04005F7F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3fef49baf3fb0fabc9aa642c7cfe4f17ed31b6","datavalue":{"value":{"entity-type":"item","numeric-id":5024508,"id":"Q5024508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48b6ff9dff95a1e14229c9f714644c14224aaa13","datavalue":{"value":{"amount":"+0.8235309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583791$28222DBA-6F73-4889-B8ED-BCBF76FB85B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"DDL unlimited: Dynamic doxastic logic for introspective agents","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/DDL_unlimited:_Dynamic_doxastic_logic_for_introspective_agents"}}}}}