{"entities":{"Q1190508":{"pageid":1201257,"ns":120,"title":"Item:Q1190508","lastrevid":66518001,"modified":"2026-04-12T10:37:06Z","type":"item","id":"Q1190508","labels":{"en":{"language":"en","value":"Axiomatizing fixpoint logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 55559"}},"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":"Q1190508$B74DAC3A-32F5-4CC1-B102-FF008A2A3AF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1459c62d04dd58f8832913e0b19d8f9db529b199","datavalue":{"value":{"text":"Axiomatizing fixpoint logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1190508$4392E55B-7F61-43BC-9053-3F4204CBD4B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ae3c9e9f2e5d47a120d1be5e998f3c18d10ba8e","datavalue":{"value":"0749.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190508$AA8F4D5F-B708-402A-91D3-91CA0A556B7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c2174f6e1519169129e25412261a433db35f98d","datavalue":{"value":"10.1016/0020-0190(92)90175-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190508$1BD0CA1C-BB82-4A97-9B7A-59B0E3CD9754","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190508$2A3FECE8-800D-4190-94A4-CFB9132F5839","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1190508$0B0B9387-351B-418A-98ED-8FE5D18FDDEB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f272fc730487fe4220b503f59c0b9e11f187149d","datavalue":{"value":"An approach to axiomatize fixpoint logics is presented. Here fixpoint logics are considered to set the methodological environment for the semantics of multimodal logics definable by fixpoint equations. There are two main differences between this approach to be outlined and the approach based upon the \\(\\mu\\)-calculus:   (1) Functionals are required to be continuous, wheras in \\(\\mu\\)-calculus only their monotonicity is assumed.   (2) No particular language of the logics characterized is considered.   The second point is of little avail to the strength of fixpoint logics, but, from a purely theoretical point of view, the required continuity of functionals weakens the fixpoint approach. However, reasonable assumptions about the nature of practical computations performed by computers make up for this weakness.   This sets the stage for the presentation of logics that meet the following prerequisites:   (a) The logic in question is a set of well-formed formulas.   (b) There are admissible interpretations.   (c) The logic in question is an extension of classical first-order logic and has model-theoretic semantics.   (d) Nonclassical connectives are definable at a meta-level by fixpoints of continuous functionals.   Algorithmic logic, dynamic logic and temporal logic are subjected to this approach with rewarding return.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190508$E9C29E72-4985-4CC2-B535-77C3E68F3C5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190508$C76E4FB9-8DAE-4175-86F7-542D5CB8060A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190508$5A0BCF7A-A015-4844-A00E-ECF84F3C2AF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35186ac055ffd64557c1cd2db96398512fff0f84","datavalue":{"value":"55559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190508$5BA934A3-34E4-4E06-84B6-DCC14F5EA659","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5592425186ab9646b7d9f7edd840de20cd41afc7","datavalue":{"value":"fixpoint equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190508$8BBDE44F-56B2-4C2D-97F2-8AD2C8517ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"921d0cf0bf3bc2fc4a883887badbee0f5c430e90","datavalue":{"value":"fixpoint logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190508$308BE5D1-D73C-4E8E-BA1F-788798F3D10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8139f090aeea88313305c725654b58aa9302c683","datavalue":{"value":"multimodal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190508$71905BA1-633B-4806-951C-84DD317BEBB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca60e4abfd0c45cace511a7d7434a08b65f8249c","datavalue":{"value":{"entity-type":"item","numeric-id":763332,"id":"Q763332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190508$8D0CB23C-EA5F-4A45-9A81-1AA4F8FACAAE","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":"Q1190508$72A89A56-6F5F-4F90-B008-46013A0238DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df73d085f7f484eebf146358dd83e1d8e603ca67","datavalue":{"value":{"entity-type":"item","numeric-id":4198727,"id":"Q4198727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190508$0CEB3B12-FFC8-43E9-BBD0-8454D10D486A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28056ed53ef07a9d6632c6440711fd2b65f1640","datavalue":{"value":{"entity-type":"item","numeric-id":1159461,"id":"Q1159461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190508$E2B6C3C3-6483-4E53-BFA6-209BEC9B1854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190508$C450B0F1-3858-4AF6-879B-0BB84C42745A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cfde9258ea2a6a7a2ef370ef24dca25d45d9fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1158956,"id":"Q1158956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190508$151FA2AB-17FD-4FA0-B25F-AD4CCFCE0E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190508$39CC8BA8-3683-4A2E-9528-89070ACE3EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58569cfcb63db51abd33ef3dfc3dfca274845b33","datavalue":{"value":{"entity-type":"item","numeric-id":4744245,"id":"Q4744245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190508$DC752E31-28EA-4AFA-B491-511C6E710F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190508$B610474E-F2CC-4F48-9CFB-659769523F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4655612b304d9bd7e703b05e0795028a785b49","datavalue":{"value":{"entity-type":"item","numeric-id":3792662,"id":"Q3792662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190508$7722A32C-D448-4296-A899-A3B5C095843E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190508$270D9367-A438-47F3-8C0C-C827B0701978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56abf17fe38c9d6f19bb07c76c7c037b3d964b6","datavalue":{"value":{"entity-type":"item","numeric-id":1102941,"id":"Q1102941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190508$65E0461D-6307-4872-ABA7-A2B5FF02BFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12754be2dde76deb61f2dea60d3e4b7cd16fc70","datavalue":{"value":{"entity-type":"item","numeric-id":1101100,"id":"Q1101100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190508$66591409-90A3-4DBB-B937-30DE042A0A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56df80133083786ee509144938e792e3b1881443","datavalue":{"value":{"entity-type":"item","numeric-id":2277248,"id":"Q2277248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190508$A68E83C5-449B-4E7F-B793-A4FAE4F35F48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4be9e50a67dee35b24c0dce83c7058769ca1b41c","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90175-u","type":"string"},"datatype":"url"},"type":"statement","id":"Q1190508$1CE5F0BB-2111-4646-86E3-4FBD25A36C13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c831e06dbdad33f52f80474ebc26efd62e122f8","datavalue":{"value":"W2081593276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190508$1A055DE9-1506-4FB0-A239-066539921769","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b82186a9444265df0b7a4c90b5d876883297e067","datavalue":{"value":{"entity-type":"item","numeric-id":3060980,"id":"Q3060980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c1d4c793fc3272af88be98d2d256321a87bbe2","datavalue":{"value":{"amount":"+0.7745949625968933","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":"Q1190508$11C6EC49-7F22-4070-AEA7-3F22C1FF600E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd503dd4bacafa57c2df3e5aceeafad30c0f5b8","datavalue":{"value":{"entity-type":"item","numeric-id":638475,"id":"Q638475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0649dafef8b7c12397fe1e7a036f0f5ecd22f932","datavalue":{"value":{"amount":"+0.7684446573257446","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":"Q1190508$43CB52F4-84BD-49EA-BE3E-C3D1E5539C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15769970d02960fc833e12faf567aa7446ea94f6","datavalue":{"value":{"entity-type":"item","numeric-id":5483318,"id":"Q5483318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"908df90424b520f7e9d49f8a1c1553547fe17d24","datavalue":{"value":{"amount":"+0.7589941024780273","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":"Q1190508$1BF394A0-C683-4FB9-8B4D-A4215C64C7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04de06bc149ef6354d220e7d56a220bd6dd487ca","datavalue":{"value":{"entity-type":"item","numeric-id":4874650,"id":"Q4874650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11befa7166f87fbe000ca07ea449e09f4c724ef1","datavalue":{"value":{"amount":"+0.757846474647522","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":"Q1190508$B3BB3D90-86AB-4AAD-BD74-C2F4F8747F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362b9591f28eee0ce575b9ef18de11da5f1943ae","datavalue":{"value":{"entity-type":"item","numeric-id":418010,"id":"Q418010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11befa7166f87fbe000ca07ea449e09f4c724ef1","datavalue":{"value":{"amount":"+0.757846474647522","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":"Q1190508$6E321AC8-BD13-430D-918C-6FDA6AECE294","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizing fixpoint logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatizing_fixpoint_logics"}}}}}