{"entities":{"Q920976":{"pageid":922824,"ns":120,"title":"Item:Q920976","lastrevid":65397042,"modified":"2026-04-12T02:18:52Z","type":"item","id":"Q920976","labels":{"en":{"language":"en","value":"Logics of truth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164806"}},"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":"Q920976$B1094D94-EEF8-4558-A6F8-70588EA02934","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20358884b3e7efbd8368a25ac46840990c411c66","datavalue":{"value":{"text":"Logics of truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920976$A5E248BF-A65C-43BF-98A2-2AC60CCBCB66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6355b2b7effdbe024d8180e99824379b9c41db66","datavalue":{"value":"0709.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920976$C6E876A2-E5C8-4E7C-A80A-97B81607D34D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41bc7746fd7ad5fe9b3715535cbb63cacd95c258","datavalue":{"value":{"entity-type":"item","numeric-id":236812,"id":"Q236812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920976$9CFD6A9D-2B6B-431A-8FB0-1E4D4E750A5F","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":"Q920976$8771C88A-B9B6-49C0-A6A8-8E983C19765C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q920976$C06FB50A-84DB-473E-AB71-334C388237B1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f8bab1a6dc71a45fff72579cafc3f5eef579adc4","datavalue":{"value":"The author presupposes familiarity with efforts, since Kripke in 1975, to develop languages in which, by transfinite constructions, a truth predicate T() can be defined. Once the truth predicate is attained one can investigate the logic for T(). In particular, one can look for similarities and differences between the logics for T() and logics for the necessity operator N(). Such a comparison is the focus of this paper. However, there have been three lines of effort to define a T() \\underbar{via} such hierarchies: Aczel-Scott, Kripke-Feferman-Gilmore, Gupta-Herzberger. The author clearly, but efficiently, sketches how these lines require different axioms for their T() while not completely specifying all of the axioms. So, there are the problems of finding the right, or best, modal logics for these various T() predicates. The author finds a system ST (stable truth) for Gupta-Herzberger most interesting; but it, amongst other things, lacks an analog of necessitation. So, a value of this paper is its motivation to seek adequate axiomatizations of truth predicates hierarchically constructed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q920976$C342F257-4039-43A4-ADC2-C43B1B06CB57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920976$76DC7272-3E07-436F-8308-25286AA112DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920976$09A74BB0-4AE5-4F0A-A5B7-2E4258074849","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d58817ed423d7233c9b8cd53b1440aeec9e13e5","datavalue":{"value":"4164806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920976$A6908388-CF29-480E-8D0B-E5C71809B4E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d879dc85bd4550a0e2e8b7212b033f819adea3e1","datavalue":{"value":"semantic theories of truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q920976$CD59FC3F-3CD6-45DD-9F72-3C6641EB861E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5245dd9eb3255611a23b1a3010f6d2adcff0e2a9","datavalue":{"value":"truth predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q920976$AE2DAFB4-4C0A-495F-A758-7C7671FBAB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ab3f43c7ba3996fb9dd6fd646d43309abce9e33","datavalue":{"value":"necessity operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q920976$4D9361AD-35EF-46F6-A35A-E8A8B1E14971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q920976$7773E646-4BE2-4644-9ACE-C0BB39E8BA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0b0a56b69c0ab477c8514713c5cdd560a50396f","datavalue":{"value":"stable truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q920976$E54F3F10-704B-409C-90A5-EE89CD70024B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bed602846c7cd1aca477737525739d8e83d5c5a2","datavalue":{"value":{"entity-type":"item","numeric-id":599802,"id":"Q599802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920976$B8A41C30-8B38-49A5-BF00-753068210F4F","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":"Q920976$03CFF1C2-95FF-4005-86C4-56A4249DF255","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a27d9f0231a0eafdc5a74895587651d4be91c1bd","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635425","type":"string"},"datatype":"url"},"type":"statement","id":"Q920976$94F44080-5CF5-4A72-93D0-2FF22402CAF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d6693df96dbbec1c100827ef814fc5582a1034b","datavalue":{"value":"W2064489562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920976$D3F891C8-969F-4BF9-B7C6-9BA73B585A7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffd41b81a5c65198be873fee40732cc933d4a895","datavalue":{"value":"10.1305/NDJFL/1093635425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920976$780D2FB1-9621-4D15-8FDD-10F8041FD027","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63ef92af5673c0452857efbed74ea828804fd815","datavalue":{"value":{"entity-type":"item","numeric-id":3469079,"id":"Q3469079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98418a47e91708895b76901d3815a9e37721dc96","datavalue":{"value":{"amount":"+0.983709","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":"Q920976$482E1984-6380-4EA0-AA78-070E125BF6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4367c9bca568df57bc5d9bff7e29413a9cce10f","datavalue":{"value":{"entity-type":"item","numeric-id":5213667,"id":"Q5213667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f87ade18f9d2477fc83c3b5551aeef3d254fb69","datavalue":{"value":{"amount":"+0.94740134","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":"Q920976$725853B7-6919-4ED6-9ED0-E9CE5F1171BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57eb86859e2c51e7b03327190e9ed19a880370c7","datavalue":{"value":{"entity-type":"item","numeric-id":1293000,"id":"Q1293000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87be654a8916feab62ec04bcf96e6325fcb91dd","datavalue":{"value":{"amount":"+0.946707","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":"Q920976$F2AB71CB-CA56-45A2-B687-20BCCA0770AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51cb0feb37c57b4aa5aff48089301daac220054","datavalue":{"value":{"entity-type":"item","numeric-id":5202170,"id":"Q5202170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0f66a38d267d468a26920c53494c3154059b20","datavalue":{"value":{"amount":"+0.94436693","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":"Q920976$6FC4F854-5DE1-4F7C-8E6D-21C57EB943DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"970649b24f11444f903f31d077a5fd3788be68f4","datavalue":{"value":{"entity-type":"item","numeric-id":1307870,"id":"Q1307870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc10a80c08fb4abbc758830c10a7cf7d2e19f1c","datavalue":{"value":{"amount":"+0.9257356","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":"Q920976$95260FE9-0C6F-4C37-AD61-05956D229D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2887b75c1060c58f29c3285ddb5bf304064530c8","datavalue":{"value":{"entity-type":"item","numeric-id":5931300,"id":"Q5931300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa3ce090040e28a492c1c2e1f64e203ab79a74fc","datavalue":{"value":{"amount":"+0.9246627","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":"Q920976$E22D875A-163A-4EAA-B910-B5C5EB06DABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce60711512f98cf572b669a71a0d76fbd2f05e4","datavalue":{"value":{"entity-type":"item","numeric-id":2255212,"id":"Q2255212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce34fe50cf23106ce54a863ac25840ceeddc3c93","datavalue":{"value":{"amount":"+0.9190421","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":"Q920976$4AC5C726-AE47-4212-9B52-031064E4D089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bd0d349a816c0a6a85e3c5b9d667235d91b7f0f","datavalue":{"value":{"entity-type":"item","numeric-id":4928776,"id":"Q4928776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caae68eac8bfe3b7ad2e72365edbb6a03bc26181","datavalue":{"value":{"amount":"+0.91882646","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":"Q920976$CFDD226F-434F-40F7-87D4-4B354C8B929D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec145b57dd5dcd2a18eeb635ea226068937b1c11","datavalue":{"value":{"entity-type":"item","numeric-id":5205981,"id":"Q5205981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a496fd5301a6f877b52f6e515b951f947a54303e","datavalue":{"value":{"amount":"+0.9158325","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":"Q920976$C7C6D686-C933-4099-B061-07ED9E1F9869","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logics of truth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logics_of_truth"}}}}}