{"entities":{"Q1297057":{"pageid":1307807,"ns":120,"title":"Item:Q1297057","lastrevid":70619265,"modified":"2026-04-13T15:46:36Z","type":"item","id":"Q1297057","labels":{"en":{"language":"en","value":"Tools and techniques in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1321170"}},"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":"Q1297057$3EDC00BA-B651-4982-8137-A40D1C68DE1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8740724c68d04073b6b79b86a67451d4874de40","datavalue":{"value":{"text":"Tools and techniques in modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1297057$74750AEB-3B3C-4FED-AB53-C0BB5252A144","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f65966abb1a3c12e30562995a559c8024a92b6e4","datavalue":{"value":"0927.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297057$CB9FC5D5-DDEB-4BD0-BDFE-B61F50D8AA93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9144438c0c6423ef10a9ae011c7a38a1555ba28a","datavalue":{"value":{"entity-type":"item","numeric-id":163604,"id":"Q163604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297057$79DD2BB7-26E0-4352-B38A-1B04912A76E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d497bdb6950dd123b915b2e614c9a7aceb5a098a","datavalue":{"value":{"time":"+1999-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1297057$726EA412-5BBB-4ECB-9427-34E635B7BA76","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7eeb444dda9dd20abc15f60f52196bf62e934c78","datavalue":{"value":"This book is intended as an advanced course in (poly)modal logic. The emphasis is on the inner structure of modal logic seen as a theory and on the connections between such subdisciplines as completeness, correspondence, duality, and transfer theory. Algebraic techniques are heavily used throughout the book. In the first part of the book, the basic terminology and techniques of modal logic as completeness, possible-world frames, general frames, correspondence, canonical models, decidability, tableaux, normal forms, and modal consequence relations are outlined. In the second part, duality, correspondence, transfer, and lattice theory are discussed. In the third (last) part, selected issues, such as extensions of \\textbf{K4}, logics of bounded alternativity, and dynamic logic, are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297057$7055BF87-7108-4C5D-94FF-C656BB2E33BE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4764fa0cd49fe833a9ead0ffbcd3b01195518cc5","datavalue":{"value":{"entity-type":"item","numeric-id":585672,"id":"Q585672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297057$9EB44217-C7FC-4894-BFC9-CD7CE3E01571","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297057$75247F1B-DAB3-4F3C-A979-3987DC27CBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297057$F9217B7A-B55C-4D37-A55C-958E5C8D1EEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2688b4ff6c534bef4f183d4ba8fc2c4c78a90471","datavalue":{"value":"1321170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297057$0BBA53A3-3379-4680-A40F-75AD1E389E01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"514a6f0fd6bed3b176ce99150c7d5d6340733445","datavalue":{"value":"polymodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297057$E7C08378-AA8F-4BF0-8656-C28B71F2FEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297057$9B083888-33BB-47C2-BFD6-2A3C7AD41B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297057$11BCADDD-49CB-465C-BD95-87A9515DA08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"253991f8f2099459340ecb25796b731e725a2eea","datavalue":{"value":"correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297057$50E76256-6539-4E1B-A667-DDD4C3FD1173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297057$E1645B7B-6884-4C53-84B0-C0BFA7B7B590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548d1f07e827d6a0aac33d5f8508c1249beecb5f","datavalue":{"value":"transfer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297057$2AB42231-518A-432F-ADAD-5A9A4C3A911E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f34eed909bc359581cb5f08cf69f237f3bc106","datavalue":{"value":"frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297057$300E7236-C9D6-4DAA-B35A-BCCB18A26B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba36bc7be3f819b6f91f9b114de09f51c370a5f9","datavalue":{"value":"canonical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297057$E172685D-8823-47E2-A83E-27864C65BB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297057$C5DAA132-98CC-4C2B-8CBF-8337F33C42EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297057$6D434CE8-841D-4263-B274-8F397EF67268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297057$BEB07945-A367-403F-A5E4-8836C52E7BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a0f1cb7c67a3bbf12861bf765e29fd2b846cc6","datavalue":{"value":"modal consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297057$5E1D07A9-FF15-4A93-A666-4E142C003BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06cf9711c6390395a60b61ca8ecf0b9b2bef1aea","datavalue":{"value":"lattice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297057$738C7F95-DEF6-4039-90D2-32E8DE1FB276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297057$E20AF6CA-8CA1-4C01-BC2E-53565FF38726","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"038e797dce8577a599953ecaa64cde238c4ac836","datavalue":{"value":{"entity-type":"item","numeric-id":190342,"id":"Q190342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297057$6F0E32C5-B5B0-46E8-8402-49B7BA0A5B57","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":"Q1297057$A156215A-E74E-4492-98C0-4C0AAF6FA15F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf30b77d2cec4abcfbbdf1240f3dbc12a987ff9","datavalue":{"value":{"entity-type":"item","numeric-id":1080411,"id":"Q1080411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5325d0ef91cada88907683c47a089ec41311aadd","datavalue":{"value":{"amount":"+0.91585636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297057$0FF9FDA3-CCDF-4C15-B84C-113518983891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c7c15dd633b5438b09055d53aa7c370fdcb45c","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30d1e207f21459cb12d371ee2932202844e69e6","datavalue":{"value":{"amount":"+0.9133592","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297057$58F7A446-63BE-4637-BC26-D2927C01C697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5646299774de4ddc4302c0fd8a64fd9710fe67d","datavalue":{"value":{"entity-type":"item","numeric-id":286591,"id":"Q286591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f439b62740d259ac3cb8100bc45a71b8141e704","datavalue":{"value":{"amount":"+0.91007996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297057$64EBE89B-3ED3-49E2-80C5-DE0BACE811C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44900fea966451a6666b697ebfa2032f7c577d5f","datavalue":{"value":{"entity-type":"item","numeric-id":5413353,"id":"Q5413353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"206c52f9d4c1a50cb89f5178228ec85a29d4fccb","datavalue":{"value":{"amount":"+0.9060866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297057$F8E93934-4417-4F14-8F30-B21B0DD7B8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7443dd02829e911d0f4c1d4d823d30e1cd49590","datavalue":{"value":{"entity-type":"item","numeric-id":4394917,"id":"Q4394917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609d0d2df0fcc5c50258fa2c22148e7e72c27ca6","datavalue":{"value":{"amount":"+0.9040005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297057$F918811C-8907-4C05-92EC-9F21098D6F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0b0ce6ef3bb346ac15cbb17532a398c57a7108","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b37c4a5d00008d1a8d1f055e5c7eb88c272b82e","datavalue":{"value":{"amount":"+0.90355253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297057$24DD190C-29D9-43DE-8AD0-E6E900F2A6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85cee13b933501a840e0563ffba6f61f83ca0188","datavalue":{"value":{"entity-type":"item","numeric-id":4817192,"id":"Q4817192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e591f6dafdb23477c7fb1057fd78835440e5d0","datavalue":{"value":{"amount":"+0.9035525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297057$7A09CC3B-D7F0-4CCA-8566-2D7F11CCB735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af91b9b2afe043dfb4abf7d85dc66b028648be1","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e591f6dafdb23477c7fb1057fd78835440e5d0","datavalue":{"value":{"amount":"+0.9035525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297057$031D5D41-42E4-4AB5-876D-E1D335B66D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a007750dc527e0cbb7e0bc2b2c346bebfce94685","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e591f6dafdb23477c7fb1057fd78835440e5d0","datavalue":{"value":{"amount":"+0.9035525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297057$B8B49C33-F5F9-4DD7-81D6-30E1893201F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9887ba7b6d91920fc4b4a02b93a42868630a31","datavalue":{"value":{"entity-type":"item","numeric-id":1902554,"id":"Q1902554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea6f8ddad79a2cda76aca1e25b90ba23c1b1007","datavalue":{"value":{"amount":"+0.9034359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297057$600DE319-AD6B-4535-A6CD-490F54FB6A42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tools and techniques in modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tools_and_techniques_in_modal_logic"}}}}}