{"entities":{"Q5015972":{"pageid":7045549,"ns":120,"title":"Item:Q5015972","lastrevid":91185494,"modified":"2026-06-04T22:28:36Z","type":"item","id":"Q5015972","labels":{"en":{"language":"en","value":"Modal Logics that Bound the Circumference of Transitive Frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7442315"}},"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":"Q5015972$F9DD0933-5810-4D6E-AFCE-079FF0C6ADEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c93c98c3bee389feb47d59dc77cb082f4a55db71","datavalue":{"value":{"text":"Modal Logics that Bound the Circumference of Transitive Frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5015972$52F12544-A510-43BC-AE5E-EA4F78E2E53B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4aeef5ebcdf4879518ee55bcae2d913d5de525c6","datavalue":{"value":"10.1007/978-3-030-64187-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015972$E9F2727D-EB92-41B5-8C69-724BE1570CA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$EDD9FDA0-0631-4BA9-B8C6-3E4BEC06C508","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"815c46dc50a36d3a4a694e99f979888665d7a73d","datavalue":{"value":{"entity-type":"item","numeric-id":5015961,"id":"Q5015961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$13954D5A-2E36-4F5B-B7FD-B13AF1E1A402","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09d0e5ff877815ff837b46961d90ee3a8057f5c8","datavalue":{"value":{"time":"+2021-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015972$321E5F5C-7C40-4AE4-A373-093484D1DF33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4025aa479b504e9aee748df7af9ff8088327c062","datavalue":{"value":"https://arxiv.org/abs/1905.11617","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015972$D9F94642-FADB-482F-BD84-52AA2DD0DAED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015972$E90CD467-F01B-4E13-8D8C-DC4144A45F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c0974ef267b196fdf01d99908d876c05da06c2a","datavalue":{"value":"08-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015972$B80EB54C-6EE4-4EFF-9932-1388775867AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd8f9c1201027e2918e5e448886cedf710209556","datavalue":{"value":"7442315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015972$874B608D-2863-4930-AF4D-6972128C592B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34cd7462353b2e3fe1cbb060246c04dcede6e9e0","datavalue":{"value":"transitive frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015972$2B95C547-2944-4836-9172-7E9081563C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ddc9a0cd844e32824631876b02438a1f305c361","datavalue":{"value":"cluster","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015972$07BD9EB5-9B21-493A-B766-7F31CB0CDD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24bb3b9099154c0f5a16d2b4a10fda71d3228c16","datavalue":{"value":"circumference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015972$E69CC192-13A0-45FF-93DE-4EED0E75F90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015972$64054385-81E4-49BC-8E87-6F3127B0F35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05bdd07461d09bc38695333a1cd0618fef804a5b","datavalue":{"value":"filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015972$4FCA9AFE-E63A-479B-AD10-263283DDAC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015972$1085B669-9CAD-4CC9-A6BA-19310CBB6076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7653f8d16c922c76125dbc52c61833b1ed767eda","datavalue":{"value":"hereditarily irresolvable space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015972$49D3B91F-0F5E-48A5-BE05-7E6229496491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51471a0f66d2a631fcc8e6f392cc00b0febcd85e","datavalue":{"value":"Grzegorczyk","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015972$E01D8A48-224E-41AE-94DE-820ED3A01D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c379824c49b260a7ccab0ce4bf33b0a471961cd","datavalue":{"value":"G\u00f6del-L\u00f6b logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015972$60D031B1-2FA4-41E2-ACE4-614E27D21738","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":"Q5015972$C76A20D0-BEB8-4423-A25C-EA7ED5A3CF36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fc3ca9a032ae686815d3a698ff017b408c251a8","datavalue":{"value":"W4288346834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015972$49F1AFA7-CDF5-43A3-BA61-AFA5F59BA2A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee242edfc0ce2685f2a03ec3be9ee5cb8a12c1d","datavalue":{"value":{"entity-type":"item","numeric-id":2563456,"id":"Q2563456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$581AD216-33B0-407B-A7E1-C42FBF62FBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f60078b5d1b8c211aabf64ef62132838ac6ebfdc","datavalue":{"value":{"entity-type":"item","numeric-id":4789455,"id":"Q4789455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$3B849E09-FECC-49C8-B571-3DF1B6D79D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e96a07e3ac63c335bc9ba7119c6f2d1f46dbdfb","datavalue":{"value":{"entity-type":"item","numeric-id":3844856,"id":"Q3844856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$3A1A0F51-A7A0-4A40-8BD9-9B6C31C6B765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8efc38869a0f889a5b0bb16ce1fc53ef667032c7","datavalue":{"value":{"entity-type":"item","numeric-id":1403828,"id":"Q1403828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$602A7F9D-B19C-47F4-9165-C63E8956EF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edacbe019f846afd505c23a3ffef4e7c73c08c4d","datavalue":{"value":{"entity-type":"item","numeric-id":817694,"id":"Q817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$5361EF5B-E818-45F7-AF98-C55EF58165A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$85B35F47-56C9-41F2-8A9E-F0081781C982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$C7A47E5F-4084-4C58-ABC4-48F5502523A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$4491AF75-16EB-4D82-94C8-5E81C49298AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$1FD645F4-E024-4A4C-8037-29D17C4045F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc3c4df890559c451a78a0e02e57f84fda23af95","datavalue":{"value":{"entity-type":"item","numeric-id":4085638,"id":"Q4085638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$42129AB2-01CD-46F3-B27B-4B1A2A00174D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5788b386a0582ff6a2d41548fb66995bc92b7e","datavalue":{"value":{"entity-type":"item","numeric-id":1365238,"id":"Q1365238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$3FDC8B15-867A-4C2C-B918-41E2F62256E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$F0CECB34-A2B3-484F-AAE6-809F5895B35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ab817940069820fabea9c24df7b4537fbed9d5","datavalue":{"value":{"entity-type":"item","numeric-id":2016062,"id":"Q2016062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$C1D32FF4-4272-440F-BCAB-A3101B9E4439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ae728e1569e8881389d9f34d1cacef85ad1d45","datavalue":{"value":{"entity-type":"item","numeric-id":5607976,"id":"Q5607976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$9231C0C6-66AA-49A1-8C55-F7C13342637F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$0C2B519D-0C67-4951-8CCB-FA5677463209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738fe44281653a0a7febeb1bdb3acd3e75648d82","datavalue":{"value":{"entity-type":"item","numeric-id":5411417,"id":"Q5411417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$E9317858-1CC0-49B8-85E5-A110934D949C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e08786b7a1174ac9d76d6bde17d9942d64900e","datavalue":{"value":{"entity-type":"item","numeric-id":5255796,"id":"Q5255796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$9E8455B1-4AC2-43B0-9161-8267221BE550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$7F34DAAC-1A7D-42CC-9F65-8F9BF8DF3BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$62DF1B82-A8CF-43F4-9937-F235BB173514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$BA741F5C-E47C-4B25-A403-5EE0A8B3C49A","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":"Q5015972$01986BBB-C41B-48B8-B85B-1F831D355FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e8fb2fa70cb54074330f7911b312c2e0ceebc7","datavalue":{"value":{"entity-type":"item","numeric-id":2394918,"id":"Q2394918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$0951D617-F238-4FDA-A86B-5F6F65B8B0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab32ac24b123b8716879961cecb67d04336a471a","datavalue":{"value":{"entity-type":"item","numeric-id":2537110,"id":"Q2537110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$F2BBE01A-A551-4D31-8436-41E8AA009C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$F9324873-E3CF-4878-AC6C-7B8D805FEDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3de332840536f381870db505612964ed89a02917","datavalue":{"value":{"entity-type":"item","numeric-id":3647244,"id":"Q3647244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$8E62B044-748F-4F9D-A818-914A5B3BB95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d315f02882653b5f510a62efddaade3b6cad6cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3001093,"id":"Q3001093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015972$C49A9189-02AC-4A02-B53D-58111B0DD514","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a368fd1bf49a6d4204e4f72e0ef1356772eef705","datavalue":{"value":{"entity-type":"item","numeric-id":5247348,"id":"Q5247348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d83694df5d989a9af0d1a8a684b5c18b91297a4","datavalue":{"value":{"amount":"+0.7815399169921875","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":"Q5015972$9D9BF733-DEA3-4252-8F79-D2820E86FC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bbcfe86b0317395baa122a8fc4ef0bbc3cb6390","datavalue":{"value":{"entity-type":"item","numeric-id":5027241,"id":"Q5027241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f9bd784898eb4645fdd1a42bc6540f76b6e82d3","datavalue":{"value":{"amount":"+0.7760926485061646","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":"Q5015972$F9F6D598-2117-4CB5-AD74-8300C4F03EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dcfef67ff0480ee7188fb79c462d390e9d07a68","datavalue":{"value":{"entity-type":"item","numeric-id":964455,"id":"Q964455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec880bbb2abc134111d8eb93d35873725cc18fbf","datavalue":{"value":{"amount":"+0.7677925825119019","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":"Q5015972$E1A3B6BE-802C-4DF2-95A8-266AE3BD7CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d8644a4dd388e166658c76bc2ad40333776403","datavalue":{"value":{"entity-type":"item","numeric-id":2958545,"id":"Q2958545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c53516da3cb486de09e3c1673fe4cbcd113e4e8c","datavalue":{"value":{"amount":"+0.7577178478240967","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":"Q5015972$E30B387C-A800-4C81-8FDD-0BD85A228B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8a6e2855a9ce8b9796913c003b058dee1fb116","datavalue":{"value":{"entity-type":"item","numeric-id":5213655,"id":"Q5213655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa2a61115e0526dd07feaf56a72cfa71f376dc7","datavalue":{"value":{"amount":"+0.7547551393508911","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":"Q5015972$2FC8F201-87C5-4A1B-B8EB-4D184BF661E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal Logics that Bound the Circumference of Transitive Frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_Logics_that_Bound_the_Circumference_of_Transitive_Frames"}}}}}