{"entities":{"Q435202":{"pageid":436969,"ns":120,"title":"Item:Q435202","lastrevid":51507830,"modified":"2026-01-18T13:40:57Z","type":"item","id":"Q435202","labels":{"en":{"language":"en","value":"Realization for justification logics via nested sequents: modularity through embedding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6054362"}},"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":"Q435202$DA6BC48A-CC98-4962-867B-23D649BAB8C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"021456c215ef4a3dca19756ae388ce8895dc9fa6","datavalue":{"value":{"text":"Realization for justification logics via nested sequents: modularity through embedding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q435202$4FC7F67D-3EC5-4B43-A42F-FDBAABFD5ACE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cc3503005c0ab4dbcacc39ba8c45fec165551f7","datavalue":{"value":"1276.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435202$34526FD6-1BCC-4080-A25F-F303AB325020","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84bab892283c7d782d5fa089f7d91fc4145057a5","datavalue":{"value":{"entity-type":"item","numeric-id":435201,"id":"Q435201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$03369120-A14C-4B0B-BB76-3388E80B66BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"196dbdb570f68291e9833b5fdffc455b470e5721","datavalue":{"value":{"entity-type":"item","numeric-id":392270,"id":"Q392270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$371E9652-7562-4DA9-A8E5-11B258CB3B8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$88671F79-7283-4BCC-82F2-ABBCB344784F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bd45fc3d52e63dd9b568441f08440ab7d091981","datavalue":{"value":{"time":"+2012-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q435202$7E55FEB3-E063-4CCE-AE75-071A829BEDFA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"effca5846a6120d57a7e9953bbe3a2252072f629","datavalue":{"value":"The language of justification logic makes it possible to replace a single modality \\(\\square A\\) intended to formalize the term, for instance, `\\(A\\) is provable' by a family of the corresponding justification counterparts \\(t\\!:\\kern-2.6pt A\\) formalizing the term `\\(t\\) is a proof for \\(A\\)' or `\\(A\\) is known for reason \\(t\\)'. In this way, justification logic, introduced and developed by \\textit{S. N. Artemov} [Bull. Symb. Log. 7, No. 1, 1--36 (2001; Zbl 0980.03059); Rev. Symb. Log. 1, No. 4, 477--513 (2008; Zbl 1205.03027)], studies the operational content of modality in various modal logics. The authors develop a method for testing whether a given set of operations on justification is sufficient to represent a given modal logic defined by means of a cut-free modal nested sequent system, and apply it to study comparative strengths of several such sets of operations. The notion of Fitting's embedding of justification logics is generalized making it possible to extend the authors' realization theorem to all natural justification counterparts. This approach gives the uniform realization theorem, covering all the 15 modal logics from the modal cube, as the central result of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q435202$601E8B9E-1113-46FF-BCC3-D227803C13C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435202$137434AD-5C94-4299-ADCE-07419129F31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435202$5C02C1B1-F67E-47FA-8265-1A0A7038446F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435202$3920136B-0CC1-43B2-BDDC-7C77927DEB19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e55642cf60f07a7deec23490fe97ec6bbbc216a","datavalue":{"value":"6054362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435202$8EE8ED5F-B417-40F9-B559-9C160270B3D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q435202$7773715C-2820-40FC-A0C4-96C2F5DD91FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q435202$442F0D0A-16FD-471E-B69E-2BFF6CA94050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7703d39a27a27281175ecfee2e3e3ef8e18d9ab1","datavalue":{"value":"nested sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q435202$E1133FFC-045C-40B9-B324-EEFD842876DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce6f205e054717a47cde8036b26de53507d1b33","datavalue":{"value":"realization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q435202$FA413E60-6C79-45FE-B925-7E4987F40E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q435202$F731ACB4-BEE5-419D-B885-AA7EC5DDF783","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$E957EC9C-A7D4-46DC-88BA-077FD896EA01","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":"Q435202$B26819A8-A7A2-4F2E-B564-A94437F9D1E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b6911df9e984cd488f1aa8625eb60614f84b640","datavalue":{"value":"https://doi.org/10.1016/j.apal.2012.02.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q435202$6CC00A3C-3E6A-444F-B942-52997EE895AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f1d8c06a014be6924007202e2540c632641700a","datavalue":{"value":"W2074011039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435202$B51C3F9E-9678-4D3B-B56F-87754FF79FF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$2F1C1A87-EE93-4DD7-94D7-87757663BD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784d500dac6a0c794215d9cef69a190e7f0e7226","datavalue":{"value":{"entity-type":"item","numeric-id":3580683,"id":"Q3580683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$4F8868CC-95EF-46BC-9CCA-65361924849D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$75AE782E-80E4-4B75-AF3E-54E31179B26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13e773aec4f521324ba6a5c3d61497aff90ed176","datavalue":{"value":{"entity-type":"item","numeric-id":2904046,"id":"Q2904046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$EF90D201-A001-41D0-90C4-D8BDE817A6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"166134bc649432bea2e7afd09729f167ee64f95e","datavalue":{"value":{"entity-type":"item","numeric-id":3648728,"id":"Q3648728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$E00E9608-890E-4E19-ABC5-780A6196995C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c40d42b5d27f3465e87ceb7a3e38b8ba5d6105","datavalue":{"value":{"entity-type":"item","numeric-id":2434740,"id":"Q2434740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$A8A3CD99-90D9-4D6C-BCD7-224E9134B821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dc9f77118731d07defbe2b73ecd4ccb123bd5e","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$262F1F76-83DA-46F2-B52E-DEAC49A48CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f58e7489ba66b2a9b4b8426a0c5c2034219ba985","datavalue":{"value":{"entity-type":"item","numeric-id":1028642,"id":"Q1028642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$278411AE-5B71-4A9D-BBCA-A4E374000C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7c19b9441ba399a39ff250e40b5d29fd1c3d5c","datavalue":{"value":{"entity-type":"item","numeric-id":636276,"id":"Q636276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$5AE5EFF4-0072-4EC8-B8EB-46F35A995516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1e5951ab0aabbdfc1d5c88e90de62eb4579e86","datavalue":{"value":{"entity-type":"item","numeric-id":5261292,"id":"Q5261292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$77635DC7-248B-40B3-AB08-2D14EFCA1556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fcfab8e86b6a221d418bb6a3dd0ebdb6e33a63e","datavalue":{"value":{"entity-type":"item","numeric-id":5579003,"id":"Q5579003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$5A1A8630-43AE-440A-A1FE-7CF50C636BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ff84a380859792f98a71b73007569735b0f24f","datavalue":{"value":{"entity-type":"item","numeric-id":5277766,"id":"Q5277766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$F1E6EC49-F682-4A38-B173-DA3B37D44DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c89eda5434976b3e0758b018c264cd9d344921b","datavalue":{"value":{"entity-type":"item","numeric-id":987374,"id":"Q987374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$611D0E57-CA59-4BEC-A905-F805E0F17AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd6d62ee7bd93b1e3442c4d7e244666926e16de","datavalue":{"value":{"entity-type":"item","numeric-id":3434705,"id":"Q3434705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435202$1C4784E0-DDD9-4E34-A4A6-41332BBCC472","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa1c29375f917127be2c828aeaf1c52e8a8148e5","datavalue":{"value":"10.1016/J.APAL.2012.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435202$A251197C-1068-4F3C-9479-6E79AF5B745A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3a5bc372976a1bb01bb1c862a35a9adbc1159a0","datavalue":{"value":{"entity-type":"item","numeric-id":3455773,"id":"Q3455773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed540d2d98f68875b20476bd153f30b0328254d","datavalue":{"value":{"amount":"+0.866911768913269","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":"Q435202$2D4E5B7A-0727-4117-8BBB-87C7B5331179","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":"97925dd163567df621aa3b4cadb901c20dc9a6cf","datavalue":{"value":{"amount":"+0.8514127731323242","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":"Q435202$5CCB77C3-14D9-49D9-AC7C-A389753200B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f92a32375fc167fae3d9c10aee21ad6951317b","datavalue":{"value":{"entity-type":"item","numeric-id":2904046,"id":"Q2904046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a44328e7cae463169d687a497720a806db4276","datavalue":{"value":{"amount":"+0.8405135869979858","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":"Q435202$FB1AB256-A697-489E-87EA-625DB7DC46AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f3f64cac5fed0feb1f765cc37abce3515701e74","datavalue":{"value":{"entity-type":"item","numeric-id":2804327,"id":"Q2804327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a496690f8917cd031a090a75dd91264cf0559f03","datavalue":{"value":{"amount":"+0.8326836228370667","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":"Q435202$41D696A4-343B-4979-BDA6-437F3B2661EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78571396feeebfe846884369ea8a5cd30bf4bbd","datavalue":{"value":{"entity-type":"item","numeric-id":5377318,"id":"Q5377318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e43003e222ee22fb04298d7da803b7c6703ecb41","datavalue":{"value":{"amount":"+0.8228777050971985","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":"Q435202$C271062D-6DAC-4A16-B090-37A142DACA29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:435202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:435202"}}}}}