{"entities":{"Q2760241":{"pageid":2770980,"ns":120,"title":"Item:Q2760241","lastrevid":83142215,"modified":"2026-05-07T06:17:03Z","type":"item","id":"Q2760241","labels":{"en":{"language":"en","value":"Modal logics and mu-calculi: An introduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1684396"}},"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":"Q2760241$919DFF3D-E333-4977-BF05-DDA45F37C23F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a27a11f39de9ad322f018b4b8704a6fd5fb8e18","datavalue":{"value":"1002.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760241$497B72D9-DB76-4C00-A158-DED954771412","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0f26ab800d353f785fba41d5cb9e1942cc404ee","datavalue":{"value":{"entity-type":"item","numeric-id":516247,"id":"Q516247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2760241$F7D03518-2BCC-4112-A90D-2DE8E9B62CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2760241$811A0E42-1708-4D76-BD0D-B9020A57C522","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ba0e16ec554a6a916fa7a31c1f3db10e36701a3","datavalue":{"value":{"time":"+2003-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2760241$91AC6EE8-E780-4BB6-A05F-9ACF8DB5B44A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760241$1DE0ABE9-6DA6-4465-AB08-9550D8D96DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760241$00A04D09-70C6-4846-B944-4DBFAE83BC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760241$D39F319B-641B-40B8-BF6B-2919A2ADE6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760241$42B713F3-DC76-419C-921F-51A68179DD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760241$FFE189EF-4524-4F61-9DD1-C94994BEC8A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"641643b21a3e928998de6c0055436bd2cae634a4","datavalue":{"value":"1684396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760241$B8B5DC2D-7E8E-4383-86F5-4ECF5EA7C71C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760241$920CB143-C530-4987-9400-03D56C2A8693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760241$325711AF-6604-4991-80CA-B1481D5E514E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760241$E37E191B-EDD5-4BCA-ACB6-69E42B590956","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":"Q2760241$35CFED48-0FA1-4221-BF63-A30120F7F87E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10ba567c8ba33d264a79440e33ee002d06b31ebd","datavalue":{"value":{"text":"Modal logics and mu-calculi: An introduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2760241$784551C0-6979-423A-8CA9-661AD0D26D22","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5bf6d8ccc3d4864f8f9f594f0d23223aadde8f2d","datavalue":{"value":"At the beginning a brief survey of modal logics, such as Hennessy-Milner logic, PDL and CTL, is given. Then mu-calculus is introduced, which includes fixpoints as recursion, approximating fixpoints, calculus syntax and semantics. Next, the theory of modal mu-calculus is presented, which includes fixpoint regeneration and the fundamental semantics theorem, the finite model property and decidability, axiomatization, and the approximant approach to model-checking of finite systems. Also other model-checking techniques as local model-checking and model-checking for infinite systems are discussed. The relationship of modal mu-calculus to other formalisms, in particular automata and games, is briefly mentioned.NEWLINENEWLINEFor the entire collection see [Zbl 0971.00006].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760241$A884B156-6D86-4D6E-8869-271341345728","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2760241$AC76857B-83E3-44F6-8BBF-8E4766BAB726","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c43934d2945ef672b6cea401b1a238256d0828","datavalue":{"value":{"entity-type":"item","numeric-id":4484479,"id":"Q4484479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1da0e899ea77987805d4834b5914181c16729ce6","datavalue":{"value":{"amount":"+0.8823493123054504","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":"Q2760241$91CE612C-6D7A-47F0-975A-0A5827C37C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88af436a118436296d1afc914ce6499a1bdceff2","datavalue":{"value":{"entity-type":"item","numeric-id":4412833,"id":"Q4412833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70d31f60ddac879823d477fb546e854672105b9","datavalue":{"value":{"amount":"+0.8477698564529419","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":"Q2760241$EB4B6E2A-6722-4DA5-8BF7-BFC5B7F15567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429ceecd8fd14e3a700bd0400fc5b26ea5b45556","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70d31f60ddac879823d477fb546e854672105b9","datavalue":{"value":{"amount":"+0.8477698564529419","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":"Q2760241$EAA8F5CA-4645-4149-8528-C506F003EE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ade23acfe3c07683f960ab20fd5818d84d8f28f","datavalue":{"value":{"entity-type":"item","numeric-id":3002404,"id":"Q3002404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f19c5e1ebbd9260e18b4388720d6defcc092651","datavalue":{"value":{"amount":"+0.8420745730400085","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":"Q2760241$5A884D76-B57D-4F0C-A218-55B23637427A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb6256bad2c2f5fad3d464a16392ea9b77d5c24","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c30f474b062307fe7f8a4840bec5c90096abd5","datavalue":{"value":{"amount":"+0.8356637358665466","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":"Q2760241$03EDD810-DF0E-4DC2-B843-951EBCB03CE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logics and mu-calculi: An introduction","badges":[]}}}}}