{"entities":{"Q1187165":{"pageid":1197914,"ns":120,"title":"Item:Q1187165","lastrevid":42314348,"modified":"2025-06-05T13:33:47Z","type":"item","id":"Q1187165","labels":{"en":{"language":"en","value":"A perspective on modal sequent logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 38832"}},"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":"Q1187165$7DB13890-914C-4A43-A33F-B74765BD846E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f848434e4b10e6fff5278ee9ff4c4f5a3d7e61c6","datavalue":{"value":{"text":"A perspective on modal sequent logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187165$AB922AA2-816C-4066-A328-D4BE52BD68F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45a6b2fb5158f9088d52dec9fcbc5beaeb602839","datavalue":{"value":"0766.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187165$54367D56-0473-4168-87DD-BD9AA0701EF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e453fb806c989365773266ef9755e129930a3779","datavalue":{"value":{"entity-type":"item","numeric-id":1187164,"id":"Q1187164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187165$70A6BDAB-CBCB-492D-B418-28F17D3201FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbff3d7a44383c7cae8458296cf157ea0c3e3007","datavalue":{"value":{"entity-type":"item","numeric-id":190279,"id":"Q190279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187165$73900F04-3748-49A8-8153-056F61EFA8A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c56c33ef3e883cbe56a171d93462893c540cb008","datavalue":{"value":{"entity-type":"item","numeric-id":174692,"id":"Q174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187165$3643F608-1C41-46FF-B698-4E85ACBA2E01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1187165$DF0DFB04-C60D-41A3-9599-207EB2E9AB6C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"335d9ffecefbcb62eae386cc4f229c8fa19123b5","datavalue":{"value":"The paper presents work done in 1981-83. Scott-Makinson completeness proofs via canonical models are recast in terms of three-place sequents \\(\\Gamma\\succ_ \\Sigma\\Delta\\) interpreted as \\(\\Gamma\\&\\square\\Sigma\\to\\Delta\\), and four-place sequents \\(\\Gamma\\succ_ \\Sigma^ \\Theta \\Delta\\) interpreted as \\(\\Gamma\\&\\square \\Sigma\\to\\square \\Theta,\\Delta\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187165$525F9924-484E-426D-94DF-BA2CD1DC8421","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187165$06862D6F-A8C4-4867-A829-D524798E91E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187165$AD2893D7-3530-4D37-9B1B-574576EA0750","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16a2f84a102d803cc86b2409bab20ff203048059","datavalue":{"value":"38832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187165$4A1714F9-FF29-429F-A154-CD2AA62ED795","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187165$E269D5BC-D783-4D38-BFF0-3CCCF2BA9E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c4a3f806f2769c871aa5f07152bf1bd1f37aea2","datavalue":{"value":"Scott-Makinson completeness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187165$BB53398B-968E-4D2F-845F-909811FB4E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dcb00058b2a91cc0769bf281d974156c67289c","datavalue":{"value":"three-place sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187165$AEA1B589-359C-44B2-9B90-692C57CD3D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db1ef4822b252c0c115bb31221c87e3fad0c43f3","datavalue":{"value":"four-place sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187165$461CF12F-7777-4AEC-98B5-5A6E3AFBC621","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187165$E0B41473-31E0-4A34-A2EB-02C7CEFAFB32","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":"Q1187165$13B49088-0ED0-460F-AF66-7756F7EE8DC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ff0d5b2fc7d7f60550af2651b616f6102b9a335","datavalue":{"value":"https://doi.org/10.2977/prims/1195169271","type":"string"},"datatype":"url"},"type":"statement","id":"Q1187165$69AE7F50-4213-46CC-9222-59A6925DBD13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9a846ad0a9145ff0c036c9828791cbff5b49db1","datavalue":{"value":"W2017769810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187165$21B8E1E1-EAE3-4E1A-B408-18A15C5C375B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187165$770A0BE4-740F-47E7-8E02-33F0BA3F8BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187165$E1E114A1-1CD1-4D9A-826A-71EBE81EEBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f580077c20a971d5f9bd8188096db37f21f37730","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187165$FB35A9B0-7163-48CC-AF31-CB0337921F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dad90f096119a1dab6146391f037ebdbc5f1abd","datavalue":{"value":{"entity-type":"item","numeric-id":3751562,"id":"Q3751562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187165$5789F714-7599-4E04-B065-F1146FC78B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd072cdcc1f5bc3281e957da4abb7aa710b84e","datavalue":{"value":{"entity-type":"item","numeric-id":2276946,"id":"Q2276946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187165$84D19E96-0199-4805-8A2E-1D84B2403375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187165$9AD7F4FD-6D42-4C59-A3FF-2068BCE3E0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820c6afdbb37196b0c0fdcd6ca2560dbb527ef42","datavalue":{"value":{"entity-type":"item","numeric-id":1257012,"id":"Q1257012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187165$D366555F-C4CA-4FBC-B94F-1B51B1BD2D1D","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":"Q1187165$0CF17CA1-432C-447E-9E80-39AD7F3331DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"416a8306db13f9e7717e2d142a555bcdf4b57d16","datavalue":{"value":"10.2977/PRIMS/1195169271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187165$629227E6-01B7-4218-8B9D-92B5BA993D01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04791c8371f914c1b3e3a547781cafd38b8757da","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaef75795eaa11e33242ea38e3a43dbe735d5cd5","datavalue":{"value":{"amount":"+0.9346656","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":"Q1187165$133AE8DE-7902-4CEF-BADA-5E35D9D71C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca80663566cfbef6d55160b2b09040f6d4b91045","datavalue":{"value":{"entity-type":"item","numeric-id":3648728,"id":"Q3648728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1813c4016a0b075d2db926a382312706a9e3f7f7","datavalue":{"value":{"amount":"+0.9240592","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":"Q1187165$01A4E11D-B8DC-4FC7-A145-9F5139FE6C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf261adcb4309c88f7d3c2f64cc1f4500c1beb34","datavalue":{"value":{"entity-type":"item","numeric-id":3781736,"id":"Q3781736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f02ec056a7389b6baa003c76e82ae78bd655809","datavalue":{"value":{"amount":"+0.9232977","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":"Q1187165$6D5BB4F0-EEB8-4145-AA4E-558C86A9FC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621623617ad27b2257ab485b9e9636b0d251c56e","datavalue":{"value":{"entity-type":"item","numeric-id":4304135,"id":"Q4304135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9e4ed93fa3ccbdc07ff2eacf6564f03b5b1db51","datavalue":{"value":{"amount":"+0.918603","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":"Q1187165$FED65651-5558-4D52-B70C-8853786B7151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418369397e44f7e43cc55b3595dd0b358430641d","datavalue":{"value":{"entity-type":"item","numeric-id":3531455,"id":"Q3531455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccffb17b6320a192d9d29505404490464bcf6b32","datavalue":{"value":{"amount":"+0.91749096","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":"Q1187165$E95D45CF-5ECB-43E8-B989-9D268BB467BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344337c4e6bd5e3f5d3f93b4aa6eb86d835d4e59","datavalue":{"value":{"entity-type":"item","numeric-id":4306544,"id":"Q4306544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851b9519811f3bd6d598434de9b901c7cec047b1","datavalue":{"value":{"amount":"+0.91725636","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":"Q1187165$12BF7CC5-6A71-41F4-B987-AABEA55F84F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e259268085225e4b8182f77c0e0e854f0c60702e","datavalue":{"value":{"entity-type":"item","numeric-id":4314678,"id":"Q4314678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c02591f0e2b918636ccf3a76384ef6412311d31a","datavalue":{"value":{"amount":"+0.91665626","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":"Q1187165$6B24CCAD-D868-4BE9-BC64-9AFE31FD88A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9087d446a0e5d37f52118932fe1b5392cc51b92d","datavalue":{"value":{"entity-type":"item","numeric-id":5416156,"id":"Q5416156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"262c6953262dce0ca92167b5fb3f4d3217ab78e3","datavalue":{"value":{"amount":"+0.9158959","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":"Q1187165$A7B9F1CE-4787-4F40-A44E-5717AF31780B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb8af7030c0eabf3c8c68f63fce4db252f0c54e0","datavalue":{"value":{"entity-type":"item","numeric-id":5688810,"id":"Q5688810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e6868fb9b718795340c5fa5e96a3e207c03353","datavalue":{"value":{"amount":"+0.9132776","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":"Q1187165$FE3A0908-E1AD-4E86-AD0A-DF4962A79958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4253fccc871044e483c35d08d07d67d9d8b67a","datavalue":{"value":{"entity-type":"item","numeric-id":4511321,"id":"Q4511321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5e761b4317854730cbbced6d39598a4eb43f59","datavalue":{"value":{"amount":"+0.9130138","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":"Q1187165$6EBED057-B0A1-483C-B3A8-97D891C6C65E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1187165","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1187165"}}}}}