{"entities":{"Q6915775":{"pageid":20997007,"ns":120,"title":"Item:Q6915775","lastrevid":84150590,"modified":"2026-05-11T10:08:35Z","type":"item","id":"Q6915775","labels":{"en":{"language":"en","value":"\\(\\Box\\) and \\(\\Diamond\\) in eight-valued non-deterministic semantics for modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8106326"}},"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":"Q6915775$C7C9A940-1ED9-4041-AD14-5CEB5F3CC128","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0079f8d3a9063ac985006ef1aa3f0db9b344709d","datavalue":{"value":{"text":"\\(\\Box\\) and \\(\\Diamond\\) in eight-valued non-deterministic semantics for modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6915775$8591AE62-881C-43EF-897D-D2E90374FF0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad0b7f6535d978342e4576d0bb74b60935a21e15","datavalue":{"value":"10.1093/LOGCOM/EXAE010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915775$534FD58E-4594-475F-9C1F-7F373021E09C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12bbf96907f2b09c701c97776a6699f918047bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2071577,"id":"Q2071577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$8569EB05-0324-47D6-A8AF-95AF3D99F36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"586c4ade6079f9e90990fbf5c58d5fad1bb973b6","datavalue":{"value":{"entity-type":"item","numeric-id":1682299,"id":"Q1682299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$60D8E360-4042-45FD-9001-F0BF33FA4100","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$9FEDE521-9227-405D-B114-0DE6297147E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1be1a084743b7fe843755b397196118f7c063294","datavalue":{"value":{"time":"+2025-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6915775$D33A703A-688D-4F52-880D-41EBA9D2AAB4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"70b1b17cdb31e70f227734eb2ae72e48d3cbae02","datavalue":{"value":"This paper is a follow-up to the authors' earlier [J. Philos. Log. 53, No. 2, 351--371 (2024; Zbl 1568.03086)]. Given a minimal modal logic that is determined by a certain eight-element non-deterministic semantics, the earlier paper considered the extensions of that logic obtainable by allowing reductions in the indeterminacy of values of the necessity operation; in the paper under review, reductions in indeterminacy of both necessity and possibility operations are permitted, while the set of values of the semantics is held fixed. Hilbert-style axiom systems are provided for such semantic refinements, with proofs of soundness and completeness.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915775$874655E2-3906-41F6-8D32-B1FC152A464C","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":"Q6915775$ED6CD9A4-05D0-4828-90B3-C65EA99883A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915775$6C8C5E33-61F9-49BA-B8F0-DD9505587CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915775$3619466E-C3D0-4B85-8248-169CEB4D8422","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65ef28e8ca2e10457a05d0f08b1eb2d9ae190976","datavalue":{"value":"8106326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915775$EFD49370-FE2E-4FED-A9B1-91FD6224090F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915775$1C6114A9-D16D-4F98-A110-E4141F6C3A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915775$3CF8E66A-B7C2-4058-8A6C-10B2009A8029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b9973e3b06473381d8df2748e6ea2128b03fb","datavalue":{"value":"non-deterministic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915775$2B0C8AA8-2F32-4AD5-B6FA-98BF9AF2E39A","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":"Q6915775$E3F97B19-9CE4-424C-AC4D-880446BA3E02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d7992e583cf45900673369824994739769f4a9","datavalue":{"value":{"entity-type":"item","numeric-id":5703736,"id":"Q5703736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$91D5A9B5-2A3D-4CF6-BDA8-60B90586FA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d77008bb7be7465adb1ce5e2296a0e5b4d9385","datavalue":{"value":{"entity-type":"item","numeric-id":2751372,"id":"Q2751372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$45843808-B299-4135-9CA2-384A7AAF2738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d742ed801db314239490ed6fc1c547af4379ad","datavalue":{"value":{"entity-type":"item","numeric-id":2373949,"id":"Q2373949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$DA6FF5EB-726F-47E6-A58A-4601084D9813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1aac17b78fdc4e89a7fca5974811e8c98dd303","datavalue":{"value":{"entity-type":"item","numeric-id":3386911,"id":"Q3386911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$11B273A9-CEA0-4208-814E-95C99ED4FADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27122ff1c4022ea88bd0843d636091061ca8936c","datavalue":{"value":{"entity-type":"item","numeric-id":2317515,"id":"Q2317515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$6D4A3C82-D750-43CB-B2E3-0A7F6FB04C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b328bb16502eff1f0ba9d3c2f73967745a4e979e","datavalue":{"value":{"entity-type":"item","numeric-id":4586135,"id":"Q4586135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$639D462B-EC89-4BDA-9015-220A699F38FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6055a9fd0860a0e8faad1df465d3577b2afc3d33","datavalue":{"value":{"entity-type":"item","numeric-id":4586170,"id":"Q4586170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$BD80CCDB-BDE1-449B-A590-FFAC45B4A7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7398c112b2dfbf069c5d2b38e58bd4cfac93474b","datavalue":{"value":{"entity-type":"item","numeric-id":5082324,"id":"Q5082324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$1381CA60-A417-40F4-8B3F-917DCD4D82D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"285d50abc56a1687dcb0b7e39b8894a9c6b34bfc","datavalue":{"value":{"entity-type":"item","numeric-id":5887988,"id":"Q5887988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$4429969A-E437-43F6-B207-F17C92819CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a8249c15c1c60a206dc9bef58883954bac0390","datavalue":{"value":{"entity-type":"item","numeric-id":5028306,"id":"Q5028306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$3679AC60-CF52-438D-B1CD-B5C42AD16978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"188ddeb1df6f2cebe36823c656a019084c6c75a6","datavalue":{"value":{"entity-type":"item","numeric-id":4303543,"id":"Q4303543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$5967EC95-66EE-4FE4-A9E0-AA02E44F4B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe733aac765e8a2d52ecf16b04b98ed7cee971fd","datavalue":{"value":{"entity-type":"item","numeric-id":5752543,"id":"Q5752543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$E8E3B233-8C80-4DE4-944B-89F06D892B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"133b3ebb8155a5b2fd334dd16f264dc715c913ad","datavalue":{"value":{"entity-type":"item","numeric-id":3936716,"id":"Q3936716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$91D51511-F86E-4B09-A141-7F9FB5106E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e047f4707ae17d58c1e8e146b5e3ef9c69123d13","datavalue":{"value":{"entity-type":"item","numeric-id":2104537,"id":"Q2104537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$A42A4F9A-807D-45D9-A39B-945E7E7EBC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787a150b84274e460f276fe7fbf47cace27aebaf","datavalue":{"value":{"entity-type":"item","numeric-id":1685570,"id":"Q1685570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$58C0778E-C94A-4B53-B795-095009D283A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb6260cec605453195e95aa73476a5ef120066d4","datavalue":{"value":{"entity-type":"item","numeric-id":5104722,"id":"Q5104722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$184A3766-EA44-4472-A5FB-38927970EDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e8f3e8047c78ab60b579f87e4c2379e9bef041","datavalue":{"value":{"entity-type":"item","numeric-id":5028307,"id":"Q5028307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$51155698-550F-4F53-8C5A-6C342460254C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc7f0c08f922c9739ae64d621b18c2332cf289e","datavalue":{"value":{"entity-type":"item","numeric-id":6128769,"id":"Q6128769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$8F08D5F6-F9A7-4077-AA45-1C9F23350C11","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":"Q6915775$89E75A2F-035F-4DA6-989F-3DAA4208091A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f311ce45b1595e141bd1b534a00e6fbe184eae21","datavalue":{"value":{"entity-type":"item","numeric-id":1249170,"id":"Q1249170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$D5D1ECEF-907F-4140-98F5-5CFA0CDD2002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc6e4f79a0bc3f5ee1cc537f52804ee20d8961b","datavalue":{"value":{"entity-type":"item","numeric-id":4735170,"id":"Q4735170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915775$5ECB4B21-E7C1-4815-BC92-5AA6A8C20136","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\Box\\) and \\(\\Diamond\\) in eight-valued non-deterministic semantics for modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5CBox%5C)_and_%5C(%5CDiamond%5C)_in_eight-valued_non-deterministic_semantics_for_modal_logics"}}}}}