{"entities":{"Q1344441":{"pageid":1355180,"ns":120,"title":"Item:Q1344441","lastrevid":67194624,"modified":"2026-04-12T15:58:11Z","type":"item","id":"Q1344441","labels":{"en":{"language":"en","value":"Modal-epistemic variants of Shapiro's system of epistemic arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 721969"}},"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":"Q1344441$C1F32433-C174-45A9-9537-3B11DF484A8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a2f0a087ab8e7b8cae4b1932d89a58e8a32dd23","datavalue":{"value":{"text":"Modal-epistemic variants of Shapiro's system of epistemic arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344441$97A1EF0F-CFE0-40D9-ADCC-640C94BE1A70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afbb6880ff2a257ca48cad4903528319f5ed6a02","datavalue":{"value":"0816.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344441$13EDC74F-C294-4EEF-8F17-12C1634361F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81d8806d8e05c27ac5a88b3dbec26c9e656a1fde","datavalue":{"value":{"entity-type":"item","numeric-id":185581,"id":"Q185581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344441$B430A3D0-4988-441E-ABF5-5C6BD2AEC0A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344441$609B432D-3601-47D8-B2E8-A1246529EC43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c3f5020bb391825f091a9eb9719aa6d72bf1e1b","datavalue":{"value":{"time":"+1995-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344441$FE32223E-D3FD-4142-A5B4-BA782A8E57AA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b43280eff6324a5551c043b0b9a6a1b5e16c7a3","datavalue":{"value":"Shapiro's Epistemic Arithmetic, EA, adds an operator, \\(K\\), to classical first-order arithmetic; this operator, interpreted informally as `is provable in principle', has an S4-like (Barcan-free) modal structure. First-order Heyting arithmetic, HA, can then be translated naturally into EA so that a formula \\(A\\) is provable in HA iff its translation is provable in EA. Here a Modal-Epistemic Arithmetic, MEA, is defined in which Shapiro's \\(K\\) is divided into a modal component, \\(\\diamondsuit\\), for possibility, and an epistemic component, \\(P\\), for `is proved by some mathematician'. \\(\\diamondsuit\\) has an S5-like modal structure (with Barcan) plus the axiom \\(\\diamondsuit A\\to A\\) when \\(A\\) is non-modal. Further postulates are given for \\(P\\) and combinations of \\(P\\) and \\(\\diamondsuit\\). It is then shown that there is a translation from EA to MEA and hence a translation from HA to MEA such that \\(A\\) is provable in HA iff its translation is provable in MEA. A possible-worlds semantics is provided for one system of MEA and, although, of course, no full completeness theorem can be proved, the pure logical fragment of MEA is said to be semantically complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344441$28D60D08-1458-417D-9B4C-5EA7FEF20B56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344441$971C3D15-DA4C-485A-BCFC-289D383B4F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344441$F8ED8D9D-D97D-4787-B6F5-685F999A0A27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8f08b1b7edc73ed0384fea5624a87f4b9762e2c","datavalue":{"value":"721969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344441$6E22BA28-4D95-4521-AB70-F04ACC74F93F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344441$29231F6B-27D4-4941-A14C-7E244CA6190F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"435197cf1241214d66d812595a02170379f23139","datavalue":{"value":"Modal-Epistemic Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344441$D8F69556-7C8A-4AFA-AB70-412E90CA2DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ffd37766974e1f01d93c44b79848c86031fc34d","datavalue":{"value":"possible-worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344441$3341C7B2-8710-4E71-91DC-FF84D4C82C77","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344441$D1EE2CA7-7C67-4E32-8A6D-F19F8CF0A9B3","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":"Q1344441$2DEE8E1F-B6F7-4AF7-8761-49AB3A518889","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa61540e163953a8fc60f28c7135939cd02dc05b","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1094061865","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344441$89FFB4CC-9791-4139-82C8-C52B73E6898F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f2b0343421dc1294224dfef7fd4dcbc976bf9df","datavalue":{"value":"W2041236447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344441$D68DCCCB-E45E-4FAC-A5FE-5D526340FA54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9561a90253170f14ea94088697e208fc00e5e6ad","datavalue":{"value":"10.1305/NDJFL/1094061865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344441$76C12AFA-AF1F-41D3-95EF-9F22EF1FABA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec4ad1c4890fd3e65ffe2371749bcdb5d06ed8c","datavalue":{"value":{"entity-type":"item","numeric-id":2442888,"id":"Q2442888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8454cc01874d1bf48c3120baf9c0a122cb5716f5","datavalue":{"value":{"amount":"+0.9087948","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":"Q1344441$BD03E0F7-6BE2-4330-9171-CE2D43503F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49105b71d34520164c1a962a3f9dd09f3a579064","datavalue":{"value":{"entity-type":"item","numeric-id":3714054,"id":"Q3714054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a394d30352038d1b9c5f87b2d5842751d7494eab","datavalue":{"value":{"amount":"+0.8962847","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":"Q1344441$31C4A3EC-56E3-4EF8-899B-D62343D48F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c1fecc0c78fbe4aa32daaa8376d5ad1123003c","datavalue":{"value":{"entity-type":"item","numeric-id":1185042,"id":"Q1185042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e1d730af71e2b35148a0ff9b9081179da8d6e3c","datavalue":{"value":{"amount":"+0.8865421","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":"Q1344441$987C0B94-57D7-428C-BD4B-1ABFB389C818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5162a143012aff7b104f4c0fe3b339f448bae3","datavalue":{"value":{"entity-type":"item","numeric-id":3295816,"id":"Q3295816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a45e84d854d8bee7ef50ecfdaa3430afd481a922","datavalue":{"value":{"amount":"+0.8794092","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":"Q1344441$BA31E0A5-F5D9-4981-98D7-FE47E660EE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb88d2fb87575bf7cd46faf7c05eb84645353fbd","datavalue":{"value":{"entity-type":"item","numeric-id":3384090,"id":"Q3384090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca52ddf22b06251092d0f89018fc0e4c229d423","datavalue":{"value":{"amount":"+0.8745892","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":"Q1344441$5EA8DA65-49C1-47E0-8A68-DB9AA3249BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee61206044655238b0f278c9be83117146ff7520","datavalue":{"value":{"entity-type":"item","numeric-id":4372520,"id":"Q4372520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8925c9942fe87c3f39a87d16a9c12a63d7f8dd8","datavalue":{"value":{"amount":"+0.87174445","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":"Q1344441$665A9CF1-59A4-454D-9178-C4F1B9EB9D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47e939c630c8be035e2b20ab8843bf1c8891091","datavalue":{"value":{"entity-type":"item","numeric-id":4918381,"id":"Q4918381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0286b2f5dce5d162be7b64a1b0675ec401adca06","datavalue":{"value":{"amount":"+0.86987525","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":"Q1344441$8DA486FC-4EE8-4D70-B994-6DCBF1F289EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7907095c48225d90e8f5fe7de394828f4c2b8afe","datavalue":{"value":{"entity-type":"item","numeric-id":3457712,"id":"Q3457712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a834a7a053883e710a0ae919a729d2690331e211","datavalue":{"value":{"amount":"+0.8695082","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":"Q1344441$21587F54-3AA2-4E58-9434-FE5B58DC8220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3856f2d93ddc264da26bb60c678fe35a045c32c9","datavalue":{"value":{"entity-type":"item","numeric-id":688859,"id":"Q688859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca4c91ed5aa8bfbf07eca7aea2f55d5e2b16427a","datavalue":{"value":{"amount":"+0.8689041","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":"Q1344441$12B7C3D6-EA76-49E6-BF90-E2E9AE512F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"083b835370b3970b9dd14f1d47833113ac90b525","datavalue":{"value":{"entity-type":"item","numeric-id":5140332,"id":"Q5140332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99fe499277f21c01ba2241845c2ed640c2153cbe","datavalue":{"value":{"amount":"+0.86729974","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":"Q1344441$57CCE1CA-C6B1-477C-ABCA-3C82F8895EB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal-epistemic variants of Shapiro's system of epistemic arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal-epistemic_variants_of_Shapiro%27s_system_of_epistemic_arithmetic"}}}}}