{"entities":{"Q1028644":{"pageid":1030492,"ns":120,"title":"Item:Q1028644","lastrevid":65981913,"modified":"2026-04-12T06:43:54Z","type":"item","id":"Q1028644","labels":{"en":{"language":"en","value":"A non-preferential semantics of non-monotonic modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576025"}},"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":"Q1028644$FBDA484E-4E1B-4548-B2C4-22C612DBAEB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c965b75b886b6a3a6c7d0903d2efd4965a87f8af","datavalue":{"value":{"text":"A non-preferential semantics of non-monotonic modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1028644$826613CC-A1D6-4F61-A71E-BC8811EF7722","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00475ee6547e24ee162388afbc41b58890b01709","datavalue":{"value":"1173.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028644$D9415F1F-A436-4399-B3D2-44175F4BCAF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028644$405FE644-A74B-4A79-9EE1-A0B72EDB31C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028644$E0B32340-F6AF-4CDE-9D2C-B57222164E19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f513387d8e77956d2269c6dd9c3352c2f10f571a","datavalue":{"value":{"time":"+2009-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1028644$E882EFB3-777E-485D-94BC-E56B0F14E855","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9fb461d1562ae62ff65b93fe80ba65c123f757cc","datavalue":{"value":"In modal logics with a connective for negative introspection, expansions are usually defined as the fixpoints of a suitable operation. An exception is due to G. Schwartz, who in 1992 devised a semantics for such logics in which the expansions of a set of formulae are taken to be the theories of models of that set that are minimal under a suitable preference relation. In the paper under review, the author constructs another non-fixpoint semantics, but without preference relations. In it, the expansions of a set of formulae are taken to be the theories of `isolated clusters' of canonical models of that set.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028644$DF8ACB82-1A7B-4FA3-8F07-D0AC30DF5B90","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e221a0164f502dd7b3593304ff005c15e95c5976","datavalue":{"value":{"entity-type":"item","numeric-id":185572,"id":"Q185572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028644$5AB2ED13-4096-469C-AAC8-3BA528E1AF12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028644$26BA922E-C873-4FB3-A8E4-E15C0E8D811E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028644$FB9D0C5B-AE0D-487E-A9C9-6AFAB7552746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028644$21B84380-1DE7-4F10-9FD2-630C37D1483E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028644$303CC5B4-D1B0-4062-A317-A36529EE7460","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c5ead4c80f864ec6e33331d4f3a8988776fdc2e","datavalue":{"value":"5576025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028644$D52567FC-3A6C-4336-86AF-C092FA3B985C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c85f79e83588d9c929e31bcc08c829829b7613b8","datavalue":{"value":"nonmonotonic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028644$7EFB4DAC-C86C-4F5A-882B-D20B3EF3A402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0e8f8dcb37f9449e5898323487375607c501ccc","datavalue":{"value":"negative introspection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028644$36E0CF43-F447-4D8B-9DE0-C6E8C38B4FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f5b38fb2a74b9d769b35f0082d509945130efd","datavalue":{"value":"fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028644$68551777-D527-41C4-9D39-8DC09DC9E41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a14f198cc87aa9dfa41a71f446d8f93716d183c","datavalue":{"value":"preference relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028644$C50C5522-EE81-40CD-978E-F852DA2935B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec925930cd5cb92d73c0f9b0b994159f9e248e79","datavalue":{"value":"clusters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028644$F2A915A9-5E12-47C0-8272-8A4C343D7CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba36bc7be3f819b6f91f9b114de09f51c370a5f9","datavalue":{"value":"canonical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028644$21DF0C13-47C0-41D3-8C73-7D9376F4E1E4","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":"Q1028644$44235E27-C27C-4BCD-AD56-3EFEA0D2CCA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f81e43f11ed9860f2f306a38eff1d00071b30a6","datavalue":{"value":"https://doi.org/10.1007/s10472-009-9114-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1028644$C10D35A9-C05C-4784-A32D-D06FB85BBFF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5882487182da09da9f490085e588bbd105562fcf","datavalue":{"value":"W2046065973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028644$927F3EA3-3A94-4928-9DB0-1F0020F89299","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"529ec1ae97fd29ba54afdcd0ba4a54d2cce26962","datavalue":{"value":{"entity-type":"item","numeric-id":4351800,"id":"Q4351800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028644$D80DEF4F-8644-4457-A069-39216E58D9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299c1ad34cb154571c77c19d5660a6a8a0ee7043","datavalue":{"value":{"entity-type":"item","numeric-id":3507585,"id":"Q3507585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028644$15A662A7-87ED-4F1C-94E1-69E0D6667512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028644$A4E13258-F90D-4098-BECF-6D95018D0EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028644$C5FEB176-474D-4585-A9BF-C2603899DA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf080a55f0b8964651acaeb861c03614c58bf33","datavalue":{"value":{"entity-type":"item","numeric-id":4168590,"id":"Q4168590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028644$6A064FFC-A90C-4664-AFDB-86CA3E7B0920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262e0fc0c9acc0bb64d9975fe151b6db2ee24cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1104771,"id":"Q1104771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028644$449AC84A-40F4-4149-B9E9-3A6A2A7749CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b03faa4dbcac10b41e80920dfdcc0083c7771a5","datavalue":{"value":{"entity-type":"item","numeric-id":4273952,"id":"Q4273952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028644$622A5014-70C4-402F-8F0F-BF1666032118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94855211e231eaafec4a6b9936fa50c3f6c921ce","datavalue":{"value":{"entity-type":"item","numeric-id":3933791,"id":"Q3933791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028644$E216B39A-FFE7-47B9-844D-282870B69EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028644$A13D33F2-541B-4076-B73E-1830C58CD593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028644$35B86FE4-8E1E-4EF1-BBC3-9E67E569EE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028644$62FA7934-F1F7-408D-BF37-0B788F8F2A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8437cb3af59803d1d5ed692f6de24e57c1673581","datavalue":{"value":{"entity-type":"item","numeric-id":2425352,"id":"Q2425352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028644$3920FDC3-9FDE-4A03-B0DE-6A1961102384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0195bf108b865fbacf1efb551918453c027ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4287517,"id":"Q4287517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028644$41CCE1C8-390A-469E-8460-AA8418A461CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3175fa51c3ea9666129879bbe052ed27771bb006","datavalue":{"value":"10.1007/S10472-009-9114-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028644$A6ED5B8F-A208-44B3-813B-1D365F9E99EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95e5c254e13267a5456e959fa2fb5df6812dfc52","datavalue":{"value":{"entity-type":"item","numeric-id":4028813,"id":"Q4028813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf028d577568831877e755b9c06d839824eacdd2","datavalue":{"value":{"amount":"+0.8008139133453369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1028644$38FACCE6-5A24-48EE-97DC-DF742E070DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e32c4777b957704062ea617cb3ca4c56b29fe0","datavalue":{"value":{"entity-type":"item","numeric-id":4282555,"id":"Q4282555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf028d577568831877e755b9c06d839824eacdd2","datavalue":{"value":{"amount":"+0.8008139133453369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1028644$4FC3F188-7D75-4848-8579-BD85059C8078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c03ce33c826d64777a5cb06d6252f18bf9830cd5","datavalue":{"value":{"entity-type":"item","numeric-id":4028809,"id":"Q4028809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d18b95e82a23724a02d1ad0b078fec313ec2fb","datavalue":{"value":{"amount":"+0.8005826473236084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1028644$2A366A7A-A05E-43B0-84A3-880424839EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6246f64c1d8babd4fe6c3f44a7dd4139cc40d6","datavalue":{"value":{"entity-type":"item","numeric-id":3138702,"id":"Q3138702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d18b95e82a23724a02d1ad0b078fec313ec2fb","datavalue":{"value":{"amount":"+0.8005826473236084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1028644$6BB84281-B719-400F-95F9-B7EB356296F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e22cd2d78d09d0824c8107bdc6f39af2067cc3","datavalue":{"value":{"entity-type":"item","numeric-id":1924422,"id":"Q1924422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704e0e9c7bea768e607d529e3987b37c2abab17e","datavalue":{"value":{"amount":"+0.7980988621711731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1028644$620B69E9-40C7-41B4-A4B8-5F6E5C0911AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A non-preferential semantics of non-monotonic modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_non-preferential_semantics_of_non-monotonic_modal_logic"}}}}}