{"entities":{"Q1611252":{"pageid":1621992,"ns":120,"title":"Item:Q1611252","lastrevid":72333924,"modified":"2026-04-14T04:11:57Z","type":"item","id":"Q1611252","labels":{"en":{"language":"en","value":"First order extensions of classical systems of modal logic. The role of the Barcan schemas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1785610"}},"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":"Q1611252$8A8AF475-F884-4B7C-AAFB-6FF454F17359","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f508653f2c8f144bb20a8219f66b9f7ee54992a7","datavalue":{"value":{"text":"First order extensions of classical systems of modal logic. The role of the Barcan schemas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1611252$BF45E513-E985-4DE2-81EC-A3633FE35AA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81dc9268fa5888d20d0a1882a66a568d7a23499d","datavalue":{"value":"1009.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611252$920D047D-BB4F-4131-A9A9-6A5403700EA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86ff5f2287d33da904d4165016353e5a56b0eb55","datavalue":{"value":"10.1023/A:1016339125161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611252$5586778E-C86B-4ED3-ADC3-F6B126B70C02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ca85145c5bcf26b9d6b48940983710606ab54cb","datavalue":{"value":{"entity-type":"item","numeric-id":1581051,"id":"Q1581051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611252$09943EA1-1DA7-4660-9CB6-26F1E401E28F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611252$16FEB0F4-05DF-4C08-BEB5-F6C49CC5620F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c29b947d701d478aa12d107bbc6ea14baaef48c","datavalue":{"value":{"time":"+2002-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1611252$D8F57D03-47A7-45D7-AC6C-5F2842B01BE0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2ab4fcae5740c89532a188ba97bc5806e947296a","datavalue":{"value":"The paper is a study of first-order extensions of classical systems of modal logic [see \\textit{B. F. Chellas}, Modal logic. An introduction. Cambridge University Press, Cambridge etc. (1980; Zbl 0431.03009)]. Classical systems of modal logic are characterized by the so-called neighborhood semantics introduced by \\textit{R. Montague} [Theoria 36, 373-398 (1970; Zbl 0243.02002)] and \\textit{D. Scott} [Philos. Probl. Logic, Colloquium Univ. Calif. Irvine 1968, 143-173 (1970; Zbl 0295.02013)]. The author extends this semantics to deal with quantification, by suitably redefining the basic structures and adding the appropriate truth-clauses. He then establishes a number of results to the effect that some properties of the new structures are linked to the validity of the Barcan Schema and/or the Converse Barcan Schema on these structures. The author claims that these results have interesting applications in epistemic logic, in particular for the characterization of probability and likelihood.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611252$CBD68D9D-7EE6-4976-9550-82446F850B2A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"80383add7e5fef594e8891cddc334cc3cad0e24d","datavalue":{"value":{"entity-type":"item","numeric-id":190355,"id":"Q190355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611252$14906FD4-EB88-4490-849D-DD3D0B1E9EDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611252$D9C04E2B-735E-49A2-A554-954CF45F17F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3414eb76e00b787b8a6bc85dbf7b776baab70ef","datavalue":{"value":"1785610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611252$400FDBF6-DA18-49AE-B65D-FD1FCF916F91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611252$A9514858-8937-4C87-B7AE-9F0D0DCB4744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611252$D0F13303-A609-4B04-B7C4-0D36FA3B9675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17811fc2a9482e487bde4207074b89eae427acfa","datavalue":{"value":"Barcan formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611252$C21325DD-1B67-492B-BFA0-E6A7EF168A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b07b58b674f1fa5b1221905a3723cfccd420f1b1","datavalue":{"value":"logic of likelihood","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611252$D026F492-456F-499E-BF17-1F89265D13B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af82f964286631926ef7240abc8d43981a55ecb3","datavalue":{"value":"quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611252$28F18060-7FF9-4610-BBA0-F9B2ACE16ECD","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":"Q1611252$5F9354FF-2255-47BC-ADAE-C7E764A1AF79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"faa985611b1f1317a83c2c869e8f8508e872d13b","datavalue":{"value":"https://doi.org/10.1023/a:1016339125161","type":"string"},"datatype":"url"},"type":"statement","id":"Q1611252$4C6A95F0-DF43-4EDA-B0E0-E3AE6AF6249F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91c564577a311cda8c04a5755b6eae104f0b0b69","datavalue":{"value":"W1570981990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611252$F1BACAE1-1AC9-4330-8FB0-D651CB795333","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd30d2c97d61b561712d7223c61b174ece52c1d","datavalue":{"value":{"entity-type":"item","numeric-id":863182,"id":"Q863182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e389bdd51874e5a0bc2a1f9e100835474733aa","datavalue":{"value":{"amount":"+0.8230465054512024","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":"Q1611252$511902A2-0EF1-4438-83C6-45797ABCB90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0b0ce6ef3bb346ac15cbb17532a398c57a7108","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bb14bccd56a0c22f1289ab510e64a44d14e40d2","datavalue":{"value":{"amount":"+0.7972396016120911","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":"Q1611252$4161792F-3D12-4CD5-AF9E-5481ADF46A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4add87124e54c39c7325afb40780d4cb0b67e9e","datavalue":{"value":{"entity-type":"item","numeric-id":4822147,"id":"Q4822147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cccf3d8016eee8b7152b565ddcf01ce5e9849769","datavalue":{"value":{"amount":"+0.7549359202384949","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":"Q1611252$DA2B466C-4D14-4BFF-A76B-F34B784B5A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1421697fa8bf5759a7ff616e163870e3e0a2a46c","datavalue":{"value":{"entity-type":"item","numeric-id":1685158,"id":"Q1685158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b11e35def4665e47372e1b07ed5f3ff21f469c","datavalue":{"value":{"amount":"+0.7501618266105652","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":"Q1611252$7FF8B8C1-C081-4020-8284-2DB73D7D2CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba1b377992dbecbd6b4c271252338e77edacf57","datavalue":{"value":{"entity-type":"item","numeric-id":4295247,"id":"Q4295247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6683965e2c77c9ed83f328b0ef20dba3e1667a15","datavalue":{"value":{"amount":"+0.7456107139587402","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":"Q1611252$EA65200A-AE99-407C-8718-77B448AE5094","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First order extensions of classical systems of modal logic. The role of the Barcan schemas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First_order_extensions_of_classical_systems_of_modal_logic._The_role_of_the_Barcan_schemas"}}}}}