{"entities":{"Q498234":{"pageid":500001,"ns":120,"title":"Item:Q498234","lastrevid":52352264,"modified":"2026-01-22T10:38:09Z","type":"item","id":"Q498234","labels":{"en":{"language":"en","value":"Admissible inference rules in the linear logic of knowledge and time \\(\\mathrm{LTK}_r\\) with intransitive time relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6485700"}},"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":"Q498234$A9103F35-4021-49B0-BE8E-899DE953E02C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c32a9e674bea4fec2a6e67c9b4454e520b077da","datavalue":{"value":{"text":"Admissible inference rules in the linear logic of knowledge and time \\(\\mathrm{LTK}_r\\) with intransitive time relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q498234$BB613800-17D5-4EA1-B816-FB8447D9696F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09392b40af0bf960dfdff79b1a07727f008419de","datavalue":{"value":"1342.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498234$B1BD299F-057C-4B61-9E1F-5007AD44E78C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"296458c062b0e031372f1d8e23302507663b1e70","datavalue":{"value":"10.1134/S003744661503009X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498234$A669AF82-CD0E-4130-8FCB-6966CD8540E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fb4fa2b39547e725bad649058b40bf5889e6614","datavalue":{"value":{"entity-type":"item","numeric-id":498232,"id":"Q498232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$6E703EBF-94E6-42F5-897F-B5CB765EA5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$CFFB29A6-4D81-4C55-BA24-4EF132AC1045","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$479A8B0A-1EB9-45B3-A5BF-F0E5F9AF683B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80128406092f538ae4a71c1daa4ccc6a1b36048e","datavalue":{"value":{"time":"+2015-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q498234$ABC082CD-558B-4BD0-98E9-16E6444CB056","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c236bc55ce7c0a886ee439b544e1eca728315c0c","datavalue":{"value":"The paper presents an investigation on a linear logic of knowledge and time with intransitive time relation \\(\\mathrm{LTK}_r\\). This is a multi-modal logic obtained by adding epistemic and temporal operators to the classical propositional logic. The logic is formulated semantically in the language with three kinds of modal operators: \\(\\square_T\\), \\(\\square_\\sim\\) and \\(\\square_i\\) (\\(1\\leq i \\leq k\\)), where \\(\\square_T A\\) means that \\(A\\) is true at the moment of consideration, and will be true at every subsequent moment, \\(\\square_\\sim A\\) means that \\(A\\) is just true at the moment, and \\(\\square_i A\\) means that \\(A\\) is true at all information states available to the agent \\(i\\). These operators are defined through the corresponding accesibility relations. The main result of the paper consists in the demonstration of the decidability of \\(\\mathrm{LTK}_r\\) with respect to the admissibility of inference rules. To this effect, the authors construct an algorithm allowing for any given inference rule to decide, whether it is admissible in \\(\\mathrm{LTK}_r\\) or not. The algorithm is based on a special Kripke-frame construction that consists of chains of proper \\(R_\\sim\\)-clusters or of a single point.","type":"string"},"datatype":"string"},"type":"statement","id":"Q498234$334956AC-B88C-4B24-80C2-750157C8D68A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bb5a4a2c374444b66a40fc8d22c526516814731e","datavalue":{"value":{"entity-type":"item","numeric-id":590167,"id":"Q590167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$5A4C489B-E804-4E73-8CA0-0D156270DC96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498234$FC03BCB9-FDB0-41D6-9E2E-2381E07A78BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498234$E8D26ECD-A67B-4C80-881F-46486CA5BCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498234$62B68840-AE8C-4571-A3DD-593EBA0C5719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498234$B28375BD-D69B-4A20-980A-B166D7209ECB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5c6bae56b69e32d7f3beb7eab7fb18c7a5a0a3c","datavalue":{"value":"6485700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498234$32D99280-5E2D-473D-8C57-44FA079C840B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867edb5f1fbdfc859e4a81b4fd3af4f5726fbfcd","datavalue":{"value":"multi-modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q498234$2BCCBA5E-8A7A-4F93-99BB-5DA9BF77D09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q498234$5E1A1227-4BCB-4F81-A57F-C05CD63FA943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q498234$4DDB3748-46A0-4D63-9F1C-50FFCA479511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f3909cfc727aaf5797e8e44abd1826d17c9e770","datavalue":{"value":"\\(n\\)-characterizing model","type":"string"},"datatype":"string"},"type":"statement","id":"Q498234$BCB74E0B-6E4F-44B8-9101-08951B5CA1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5ca6cf28cbfd79800e2154cfc466eb28dd629d7","datavalue":{"value":"admissibility of inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q498234$CA1B6720-4C7B-4F50-8047-26793E907B06","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":"Q498234$766E4982-87C4-4A53-8F4F-731013938727","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$3B3E8BAA-E929-4032-9FE4-651AE2EFC4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7149b5c6ff43b6cd0d6c5f6709ff45f6ee1452ed","datavalue":{"value":{"entity-type":"item","numeric-id":4342095,"id":"Q4342095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$B903D439-FA66-4E76-AFE0-F828201CFCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$95C81FC5-4AA4-426D-9668-187D00A6AB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daab4582302a3aa21137ab948e63f2ee9395096d","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$32FC8181-45A6-42B6-9A44-9C0DCFEBE4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bffed4a7db9147940301de84b906b986de91e3e3","datavalue":{"value":{"entity-type":"item","numeric-id":3226736,"id":"Q3226736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$FB6840B3-88DC-429B-944F-187DB35F29F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$25FAF291-0DFA-4BFF-86D7-9BAD92CF579D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$ACD5510B-8574-40F6-B2F9-CF21ECC0E752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69da35294d6de27753befde76932b036e2da46ab","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$C4C830FB-DC21-4CCC-941D-8FC611DF3BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e4057cbea795765c3e532392a7ce11106aad03","datavalue":{"value":{"entity-type":"item","numeric-id":1079559,"id":"Q1079559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$8505D68D-C0CC-482D-8CDF-E7D5B0F6E4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$FD5BF39E-2C6C-4DA0-B4F0-0780478FF42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$D0964EB1-19FD-41F8-AEDC-97AD2F2071ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a62fabc4f0c182c7514c512fa7663d47fcafc07c","datavalue":{"value":{"entity-type":"item","numeric-id":5172145,"id":"Q5172145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$DBC0309E-3610-4A17-8EDB-DCE63D86E420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc607fbd1fab85d76c416d6e499ba3d2145f78d9","datavalue":{"value":{"entity-type":"item","numeric-id":385070,"id":"Q385070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$1CC42E47-01D3-4EFF-A28D-26272039E4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fbef6c8c5aa11ec62a0c538aea241c810aa3b13","datavalue":{"value":{"entity-type":"item","numeric-id":4925166,"id":"Q4925166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$792E80A3-DC53-4952-8333-B4C2E83A1095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90a09f9a9bcb9d73d58bbd9839f6d29cf479203","datavalue":{"value":{"entity-type":"item","numeric-id":4925168,"id":"Q4925168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$5B1FADBE-26C9-4E1F-ABE5-C3966E43723E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44978837762b24a45d2c87db5f3ebf18e790a78","datavalue":{"value":{"entity-type":"item","numeric-id":5693113,"id":"Q5693113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$B9DA9244-2950-4B42-A64E-2A644D9EFB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007f9bbb23e92138191a80f4f8a7d1f13bce2e50","datavalue":{"value":{"entity-type":"item","numeric-id":5479022,"id":"Q5479022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$C037FBEE-5D7F-4FE9-B6F4-2855BDF242A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3600fe09b6171c38a0635cd81fe5884e5bb9fc1","datavalue":{"value":{"entity-type":"item","numeric-id":4966494,"id":"Q4966494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498234$9E1E0300-6992-4D48-98A3-6EDD0E7A67D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab822a2ba9ae1c154121adc2704ea62b10211e45","datavalue":{"value":"https://doi.org/10.1134/s003744661503009x","type":"string"},"datatype":"url"},"type":"statement","id":"Q498234$02C354AB-5C6D-4876-ABB5-C6F5F2235137","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ed3d5625a75b815d99a24212c2f8b7243938277","datavalue":{"value":"W2255034849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498234$77ED3E00-7E25-4C3D-8BA2-1FA0E74CB3E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e615e9aa7ef35f6221793e8fec769fcdef60835f","datavalue":{"value":{"entity-type":"item","numeric-id":5479022,"id":"Q5479022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7693dc29141733a66bdf7fd2bae4a20fe54d7c69","datavalue":{"value":{"amount":"+0.9161339402198792","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":"Q498234$FB8FC746-F699-4927-A1E5-47CD87A3E4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9db2437a4829d71fedd4e7b26fee2af5ed5d596","datavalue":{"value":{"entity-type":"item","numeric-id":498248,"id":"Q498248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d0a8cad23b25efd6384f2fb27b27d1628fecbd5","datavalue":{"value":{"amount":"+0.8757541179656982","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":"Q498234$9A9E21AD-997F-4E98-B4BF-5C2CFAF3DE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75a87621fd7daeaba3ba05ec1ba4c139f4f2c19","datavalue":{"value":{"entity-type":"item","numeric-id":2436101,"id":"Q2436101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6cc2d1a2c6e15da5959ad35c585eaea32a1b73b","datavalue":{"value":{"amount":"+0.8634812831878662","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":"Q498234$27FC0094-10C6-4859-B422-4357D3FF2C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"252881f33b56880f852e9f32215cadec4c3aab4d","datavalue":{"value":{"entity-type":"item","numeric-id":5214739,"id":"Q5214739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f298f54240fbc832286e9ac3a4504eb68c6aecba","datavalue":{"value":{"amount":"+0.8004955649375916","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":"Q498234$5A3B0098-48AE-43B9-92D1-1A234B07B8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0391921a0366d3a2fb7bcc99ae2abdd2da4be13c","datavalue":{"value":{"entity-type":"item","numeric-id":2213922,"id":"Q2213922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86de1086d000cd4fa91a8835ea5c7526d8cd3c73","datavalue":{"value":{"amount":"+0.7953884601593018","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":"Q498234$2F638291-D88A-4788-97A4-626F9B03015F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:498234","badges":[]}}}}}