{"entities":{"Q5939997":{"pageid":8116799,"ns":120,"title":"Item:Q5939997","lastrevid":47645974,"modified":"2026-01-02T07:28:42Z","type":"item","id":"Q5939997","labels":{"en":{"language":"en","value":"Model existence in non-compact modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623762"}},"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":"Q5939997$023F0493-89EE-4413-8FDB-4C76B74DB68C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a427e97dd27553cf4560457a4a0d8503a1af14de","datavalue":{"value":{"text":"Model existence in non-compact modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5939997$DAAEB49C-84E5-4AB0-B2D5-37AFF770EF57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2b0cd07e30da8d3a36f9df9a920878852f4c3e4","datavalue":{"value":"0980.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939997$2F66B8B8-FFF0-470F-9296-01E362ED2475","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dff361fb62b0589d37f8ff79f0f4ac365cd7e19","datavalue":{"value":"10.1023/A:1010573427578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939997$EDEB2D89-77A4-4E73-B3DE-B33BF074B64C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7abef8bc19a924a2adb86ab361a4464d7999c01","datavalue":{"value":{"entity-type":"item","numeric-id":195363,"id":"Q195363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939997$3CA7AB72-2BC3-4453-B6D9-EDF3535C4375","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":"Q5939997$93240C72-A193-46D0-9667-9857428E97F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8d2e67dc58e622f66653243c931a8031a0a1a2d","datavalue":{"value":{"time":"+2001-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5939997$9204ED82-CC52-4E7C-919E-1AE0F875DEE1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4eb0719d426799e0d8efcc16eb4781397e4024c0","datavalue":{"value":"Segerberg has shown a model existence theorem for an infinitary modal logic in which the concept of common knowledge can be axiomatized and a non-compact set of formulas is constructed by making use of it. The author extends this to the first-order case in a generalized form on the base of classical first-order constant domain (multi) modal predicate logic K formalized in a sequent style. Therefore, the predicate modal logics to be discussed are characterized syntactically as a set of formulas derivable by the sequent system from a set of axiom sequent schemas satisfying some conditon in a general form. The main feature of the sequent system is that a pair of countable sets of formulas is employed for a sequent instead of the usual finite sequences of formulas. Thus the obtained theorem allows us to apply it for such a logic as constant domain first-order extension of the infinitary modal logic of common knowledge. The proof of the model-existence theorem is carried out by a respresentation of modal algebras for the basic modal predicate logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939997$53E81370-3380-43AE-B23D-3EB8D0FEB885","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939997$986A9B82-0182-4B9D-A06C-C305B7BE33A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939997$EF3AF19B-E7B3-47EC-A37D-2E58F68D3937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939997$97223F91-8AD2-46F3-B7B5-388DB7076F03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7077ea15294f5712e1a98f2be33e3ebd9d3be1b","datavalue":{"value":"1623762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939997$9237C3AD-B63C-4DF0-AE2C-80E0EB27B95C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56d380ad64d2c4e22953da0c86db86208c2b0205","datavalue":{"value":"representation of modal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939997$904392B0-AF2E-4B1A-912B-8266C4A127F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"303f012a9c9646b8b93391608ae455a229decba3","datavalue":{"value":"non-compact modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939997$FC884E0D-6B7A-4136-AF11-36FF176B8D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939997$F992784C-0CD7-488D-9BBA-BE3F828139BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b08b739fbd5ed728f77648780bc64d8e631a8be4","datavalue":{"value":"constant domain predicate modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939997$C23275E2-91EA-4F1C-971D-F3BCE78A31C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f339440b6d922a6056a1892ac5bacd6395cf72a","datavalue":{"value":"modal logic of common knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939997$9ACD0E96-F5CE-4E86-9E2A-98D5D2DCDE07","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":"Q5939997$4E74661E-5778-4581-88B3-4F16C7E7A8F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d08221f45a1ab0d09a0210e7c7d6a7a7186f8e8","datavalue":{"value":"https://doi.org/10.1023/a:1010573427578","type":"string"},"datatype":"url"},"type":"statement","id":"Q5939997$A948C466-ADB4-4380-8203-C1391A02C929","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c081d1e9470de39ce110e3cd322957969df403bf","datavalue":{"value":"W1580231247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939997$6C235B3D-9D72-4D85-9593-742207ABA917","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e576fc72dc640062522ac9ecde31f5f64b295d76","datavalue":{"value":{"entity-type":"item","numeric-id":1332142,"id":"Q1332142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4eee9f52441cde2981bfb45ff8927f0010e318d","datavalue":{"value":{"amount":"+0.8066055774688721","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":"Q5939997$1B405CA3-05BE-48EA-B3E9-7C7D9F9BC0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf30b77d2cec4abcfbbdf1240f3dbc12a987ff9","datavalue":{"value":{"entity-type":"item","numeric-id":1080411,"id":"Q1080411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6d24726cc5e6d1629a8bbda11db1b99405b2d1b","datavalue":{"value":{"amount":"+0.799915611743927","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":"Q5939997$80AE46A9-40A7-4341-B0E7-678887775DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e9ce7aa13fa27287a51efd5c0e196edf150cfa","datavalue":{"value":{"entity-type":"item","numeric-id":3639040,"id":"Q3639040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c9aaa24443b45a2c7d379f6b6b3b6709054174","datavalue":{"value":{"amount":"+0.7778264880180359","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":"Q5939997$2112DBDF-6330-4FF1-A246-1E8AEF23E38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2c0f2abe9e540ba588086fc9f58ba9b0b4f553","datavalue":{"value":{"entity-type":"item","numeric-id":4304804,"id":"Q4304804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a179ed0861bc009d48f1f06ebbf927039bdd99f","datavalue":{"value":{"amount":"+0.7690761089324951","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":"Q5939997$3892E301-B51E-41F1-8847-6FE3C80AAAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c00f23ba6f6420028143d5ce2f8dfceb40ce498","datavalue":{"value":{"entity-type":"item","numeric-id":2475436,"id":"Q2475436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd490fe6ad28dcc2edcb0d21256ccca5275ef45","datavalue":{"value":{"amount":"+0.7671954035758972","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":"Q5939997$599679E4-0F35-4B0A-85E5-A650E854A06F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5939997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5939997"}}}}}