{"entities":{"Q2240542":{"pageid":2251285,"ns":120,"title":"Item:Q2240542","lastrevid":43738380,"modified":"2025-11-11T15:32:58Z","type":"item","id":"Q2240542","labels":{"en":{"language":"en","value":"One-step modal logics, intuitionistic and classical. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7420136"}},"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":"Q2240542$3B1F2611-FCF1-4406-A7E3-69A967803671","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"477bcb378073c7b9ea7fb47b4eec4f2eb9a6b145","datavalue":{"value":{"text":"One-step modal logics, intuitionistic and classical. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2240542$BF7838AC-EDC5-4168-B82E-4E83CDF9C035","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98e8687cc01a20e39c3fdb955ca8619abf7cee2c","datavalue":{"value":"1497.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240542$0E5BB9D7-632A-46F8-B03A-02CAC35A1D85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c1bc37e6e094a826bbeabaa496f463e54be767b","datavalue":{"value":{"entity-type":"item","numeric-id":792996,"id":"Q792996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240542$0D54B694-59CC-4BB6-9503-A07E62D01AC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240542$9D686E6B-0E2A-4CCD-BF0E-F6260374A1CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51f0220dcd7207657e9465a422526ed9ffb9675e","datavalue":{"value":{"time":"+2021-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2240542$E238C52B-6744-4761-AAB4-049E2245C2ED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a80465f2e92fdceda2ab5e039d89e4aef0b6733","datavalue":{"value":"This paper is the first part of the author's two-parts laborious articles with the same title. The author introduces marked formulas which are the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. The step-marker 1 is thought of as indicating the taking as one step away from 0. Natural deduction sytems of classical modal logic $\\mathbf{CK}$ and its intuitionistic version $\\mathbf{IK}$ are constructed using marked formulas. Their completeness theorems are proved. Their consequence relations are also considered. This paper is heavily due to the model-theoretic concepts proposed in [\\textit{G. Plotkin} and \\textit{C. Stirling}, ``A framework for intuitionistic modal logics'', in: Proceedings of the first conference on theoretical aspects of reasoning about knowledge, Monterey, CA, USA, 1986. Los Altos, CA: Morgan Kaufmann Publishers. 399--406 (1986; \\url{doi:10.1016/B978-0-934613-04-0.50032-6})]. This paper is, \\textit{in a sense}, a proof-theoretic working-out version of Plotkin and Stirling's paper from a point of view of marked formulas and corresponding deductions with step-makers 0 and 1. In this proof-theoretic systems, simply speaking, 0-prefixed formulas are thought of as axioms. 1-prefixed formulas are the deduced ones by rules. It seems to me that this labeling system is too simple and superfluous in a technical sense. However, I think that those step-makers have some philosophical meanings that 0 is corresponded to actual (real) state and so is 1 to subjective one as analogies. Although the author of this paper for examples takes 0$\\bot$ and 1$\\bot$ as false, I, in this sense, think the truth value of 1$\\bot$ may be recognized as one having more variety of different meanings. Similarly thought to 1$\\top$. The author of this paper foretells that Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than $\\mathbf{K}$.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240542$C3FD914B-028D-47EF-9FB8-25F03EE9284B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1d5171f1fe68694ba66482ff674ce47e93fe0728","datavalue":{"value":{"entity-type":"item","numeric-id":778733,"id":"Q778733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240542$A05C9ED1-5324-4D52-B02A-6329271825B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240542$332A9033-0416-4C01-BC3F-CE5E36F1B064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240542$3D4896AA-090D-4152-AF6E-DE49432CF257","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e167cece4612b479521788b8c8444d9955404072","datavalue":{"value":"7420136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240542$B6C45942-6763-4873-9CEE-4EC7D282869D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68d58fb77da160f94d2969f332a6f4fb3b9c7f64","datavalue":{"value":"intiutionistic and classical modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240542$974CDB2C-FB46-40B4-BF94-81D5A6BA6CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3133f69e1627d283551a7839459722e0fb1ef86","datavalue":{"value":"extensions from K","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240542$1F88912F-8746-41EE-99BE-B0032064FC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea566120a5c049251a00f166dd72733264a2127","datavalue":{"value":"introduction and elimination rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240542$3E91B30F-9D9A-4808-AF3D-348C6BAA65A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240542$5DCCB464-1BB2-4E2F-AF29-CD4C1A6BA306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6679f39ab8d45888adf9236ae6704945d4850c","datavalue":{"value":"one-step","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240542$EA641532-F588-49A6-96CD-ED4A3FB94C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9caf560fd568c62968a7bb33787db5ebc09783f","datavalue":{"value":"Plotikin-Sterling frames and models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240542$980F73F0-C968-4E32-B758-5672E1B50E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ecec78fdb2b1ae0a0a929f4b73e160fcfa77ec3","datavalue":{"value":"soundness and completeness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240542$A7F790C6-D81B-4FD9-8125-5E86F2371C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c67ea07d8b0208e6dbdc28dc1eb63af6e7fd381","datavalue":{"value":"consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2240542$E960C257-9766-4C6B-A3B6-78E172010043","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":"Q2240542$853435A4-11D4-406B-A7F6-CF43637DC490","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a118f0696d5179a31a0e6a0eab94ac6dea255573","datavalue":{"value":"https://doi.org/10.1007/s10992-020-09574-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2240542$AD5762A8-E9E0-4E24-A092-06EE5CFAB927","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1f0657e66ffa88a02bdff7211af1b286a7ebdf8","datavalue":{"value":"W3120237783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240542$2A88B99A-8A83-45A5-92BD-079E37967351","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd778e071ccc3782cf6809375e1225e7eaa5bcd2","datavalue":{"value":{"entity-type":"item","numeric-id":1896781,"id":"Q1896781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240542$0AFE0CD3-C231-485C-A752-EC09DF2A08F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240542$D81F7B34-38B3-4EBD-AD8E-7DF22A708BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12505866355e577e0f8b3d64621dc797ebf5efbc","datavalue":{"value":{"entity-type":"item","numeric-id":704041,"id":"Q704041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240542$582A71A1-3B6D-4FD8-A900-D6653BDA438B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a74301046eabc0f6be82fbc72f5314641dba44e8","datavalue":{"value":{"entity-type":"item","numeric-id":2288265,"id":"Q2288265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240542$3E294C4E-8363-4315-903F-731D5199A935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbcbbe97f24f82950314edc7c6f712b067fe22e","datavalue":{"value":{"entity-type":"item","numeric-id":1188523,"id":"Q1188523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2240542$52678F80-EEE2-4B3D-BF64-BE4262D95F9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b306f720756d7a826f45f7bf9d1eea7d6e5c34ca","datavalue":{"value":"10.1007/S10992-020-09574-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2240542$E3E817FD-37CA-485D-B85A-8D01E996AC31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d5df1fbdbac9d1d21c4b6b58c43ed562070c90","datavalue":{"value":{"entity-type":"item","numeric-id":2240543,"id":"Q2240543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfcba9f613d38ed9360d4c67eb374a448e24fe8a","datavalue":{"value":{"amount":"+0.98864156","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":"Q2240542$04FFDC88-E311-4021-A9E2-58E63B4B4C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28bdc79557cd2edf6ee29e757de8f2027807c5fc","datavalue":{"value":{"entity-type":"item","numeric-id":4812323,"id":"Q4812323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e50e40e95a92777304076b5600604f877124f0","datavalue":{"value":{"amount":"+0.8951422","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":"Q2240542$EAE8491D-9A18-49C7-8181-8372F39E5266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99382cdef8ed2f484d29437f7ae5bea8b082b78","datavalue":{"value":{"entity-type":"item","numeric-id":4948690,"id":"Q4948690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b27c4b91abc36ba06bd9ee8cd625bdcf88c5d9","datavalue":{"value":{"amount":"+0.88834167","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":"Q2240542$27B3C099-BD1D-499B-BD10-CB8FEAEE2CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83579c955d443fc35500b64c0518bc0d37b91cb3","datavalue":{"value":{"entity-type":"item","numeric-id":2987047,"id":"Q2987047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce0ed4a68162fa7169e475a77955e2cd47164697","datavalue":{"value":{"amount":"+0.8878845","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":"Q2240542$E8F80F82-6763-4E1A-963D-5E757AC0B1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0cc8a48c38cbddbc299ce2722ea8512d0ddab33","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0deff90eded5a433844d161f2d92c1c9f9ccb2fe","datavalue":{"value":{"amount":"+0.8859699","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":"Q2240542$79425AAD-84D6-486D-9CAD-CA15B7F16A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c9834910048a60978f1a69f5636e9c7929b3660","datavalue":{"value":{"entity-type":"item","numeric-id":5884938,"id":"Q5884938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7887cc9b0f4ee1dc4de995fcd743372fb247b72","datavalue":{"value":{"amount":"+0.8799961","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":"Q2240542$2B495594-6333-46C6-A7A7-8B4E51BBBF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd49034f418630eb2080eb498816a62cd138565","datavalue":{"value":{"entity-type":"item","numeric-id":3333006,"id":"Q3333006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a696657cbba862538ccf1d97486149955210ad92","datavalue":{"value":{"amount":"+0.8783438","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":"Q2240542$F31A1D31-17CD-4F6E-9F4B-FAD0535F6D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa577837323dba6d3743f445f82119f1c8bf8da8","datavalue":{"value":{"entity-type":"item","numeric-id":4942002,"id":"Q4942002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4cc7b8cd1d400ca1d7d73b4080f5417f2b757fa","datavalue":{"value":{"amount":"+0.8782012","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":"Q2240542$A88FA99C-9C5C-4EBD-BFF6-E121F4F3C8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b28e1f69540809e12bca8acfca7c684e501d84","datavalue":{"value":{"entity-type":"item","numeric-id":1977576,"id":"Q1977576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f20f778cb5e347174e2d8afd529e4737c7e05e","datavalue":{"value":{"amount":"+0.87816304","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":"Q2240542$9A873AE2-DB9C-4509-89D9-73C6EC8FF19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5895df49c0eac7c40b39c023ceea80503bf50939","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e0e0ecd1cb1860c2cfd39a9e2d8d88acc9ecad","datavalue":{"value":{"amount":"+0.87759936","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":"Q2240542$EF6CC322-942F-43D7-8E84-89EE35D17426","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2240542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2240542"}}}}}