{"entities":{"Q1403342":{"pageid":1414082,"ns":120,"title":"Item:Q1403342","lastrevid":67359819,"modified":"2026-04-12T17:06:15Z","type":"item","id":"Q1403342","labels":{"en":{"language":"en","value":"A functional approach for temporal \\(\\times\\) modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1973114"}},"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":"Q1403342$1E8ECD0F-7496-4867-A57C-6437C32FC768","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4152daf8f90c122d5b41ab99d1f4ccab3877bca6","datavalue":{"value":{"text":"A functional approach for temporal \\(\\times\\) modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1403342$DB7EFC9B-2319-45C6-A264-D333FDB2903D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b52b25fe3d8f77fe03d6b3981cc0c899ff863406","datavalue":{"value":"1024.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403342$1F80D10D-76D0-4293-AE46-58A5CF5E11FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61792d4d5b09af74a4761e055daae2acf06e4c5e","datavalue":{"value":{"entity-type":"item","numeric-id":1403340,"id":"Q1403340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403342$945A6C74-8896-42E0-BB1B-28AC88C94FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d4bccdf7c2b388b6e3e888805bc1f0030b29c7b","datavalue":{"value":{"entity-type":"item","numeric-id":1403341,"id":"Q1403341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403342$4BA648BC-4F47-4DAA-BA81-718B7D1CE1B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403342$A89F3439-012F-421A-8963-3826960F2DFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"433a0b2d5ca848667b737a26efa25021702b8585","datavalue":{"value":{"time":"+2003-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1403342$A4D2B00F-67F3-4C4F-84C8-7DE0DF2BAB40","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"48a832cc1625ba2e7395cbbb607e713e544c61b1","datavalue":{"value":"A new approach in the context of the combination of modal and temporal logics is introduced. These logics have shown its usefulness in philosophy, linguistics and computation. The goal of the paper is twofold: on the one hand, definitions are sought for the basic properties of the functions (injectivity, \\dots) by means of a multimodal language; on the other hand, the authors claim that the approach has also a practical use in computation (multiagent systems, parallel processes, etc.) The paper introduces a new type of frames (the functional frames) to handle flows of time which are connected by functions, instead of using equivalence relations as occurring with Kamp-frames and \\(T\\times W\\)-frames [see \\textit{R. Thomason}, ``Combinations of tense and modality'', in: D. Gabbay and F. Guenthner (eds.), Handbook of philosophical logic. Vol. II: Extensions of classical logic. Dordrecht: Reidel. Synth. Libr. 165, 135-165 (1984; Zbl 0875.03047)]. As a previous step before attempting to solve the problem of definability, the authors introduce an interesting and purely algebraic characterization of the properties of functions. Later, a number of minimal axiomatic systems for temporal \\(\\times\\) modal logics are presented, for instance, there are minimal systems for total functions and for a special class of partial functions which are called uniform domain functions. Some completeness results are presented, the proofs of completeness follow a Henkin style and are straightforward applications of the well-known step by step method [see \\textit{J. P. Burgess}, ``Basic tense logic'', ibid., 89-133 (1984; Zbl 0875.03046)]. Also, an incompleteness result is presented: the system corresponding to the total and injective functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403342$BFEDC1B5-5B26-4880-B28D-A68BE3DC5376","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d9c7994377655925beca167212c6ec3527b954b5","datavalue":{"value":{"entity-type":"item","numeric-id":587084,"id":"Q587084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403342$5656ACD8-D346-41F2-8177-009332163F5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403342$373BA695-3FF7-4ABC-90AD-9C3F0BBA8570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403342$22236852-9284-4E04-BC6A-1882E7C33DAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"139660947d29e202693c85f335dd9c2326c16824","datavalue":{"value":"1973114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403342$CE400A85-22A1-4479-B32C-E537739690B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"883bbb04c06eea0266b1c638aff29ee98bd5a771","datavalue":{"value":"temporal \\(\\times\\) modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403342$B43CCDD5-2890-4537-AE15-9172428630DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403342$A69B3B4E-1F14-4990-9140-82EAA1B9DF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403342$767F7728-3FC1-40C6-ACFF-C82AD31EF71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a17efd3df17fd0f330f0a2a3536cf207eb96c65","datavalue":{"value":"combination of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403342$24F148AA-4468-40E9-80C3-294A793F912A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0d76c2c1fbbd2c558578e75d63752797adc5d2b","datavalue":{"value":"functional frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403342$6D737AA4-6E2A-4E7C-B6E6-A815AC406658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c62dbdc4b608a8caf992c8ea4388c316a35e527d","datavalue":{"value":"flows of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403342$7AE4BB27-7833-4ACB-B6B0-134E80D77110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b222477608f58dbb69b3689a6421121f1d4638","datavalue":{"value":"minimal axiomatic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403342$F4F8810F-069F-47D7-BFC5-114E4F2F1C8E","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":"Q1403342$33E87449-3A4F-494F-AA58-2746CE13A577","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"810f2da16625f1f946412c6d7cbb92aad3128466","datavalue":{"value":"https://doi.org/10.1007/s00236-002-0098-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1403342$95657B1C-79E7-4DC5-9E31-07CCAD4B9F5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b96d061d544efc0d4f90beedcb303c7006a351fa","datavalue":{"value":"W55860263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403342$5B11F85F-17B3-429B-9E3A-E5D18B983811","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60fda54425c113e14e14212ff7a61cbbd2ec72f6","datavalue":{"value":"10.1007/S00236-002-0098-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403342$18A24ED7-1F7E-43CA-B655-A93735866AF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b3bef0a5c2337c77fab1b1ad1f35f2f9208d7e","datavalue":{"value":{"entity-type":"item","numeric-id":4737138,"id":"Q4737138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b73c0ff46230f8e5fb8fbb0fff29a0958a80f140","datavalue":{"value":{"amount":"+0.8764481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1403342$D51B1AE0-CC8B-43EA-8B0B-A3D1686FE11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fe49fb9742ac33082f565499de147c1748d09a0","datavalue":{"value":{"entity-type":"item","numeric-id":3406454,"id":"Q3406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4499673dd0362152d979d9982cccdf054ac9a98c","datavalue":{"value":{"amount":"+0.8598551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1403342$65366CA6-780C-4243-857E-F928A0C211A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f889c24e8c40bea9e425ec8523ec33aa7cfa331b","datavalue":{"value":{"entity-type":"item","numeric-id":3643153,"id":"Q3643153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c16b98d2fe9888a6e20139ae1cacf969a735c2","datavalue":{"value":{"amount":"+0.8506267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1403342$F3FA64CA-A942-470B-B818-ED8DC9ACEE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b98ba21cf33c2f3a387bc04d072055415a132d3","datavalue":{"value":{"entity-type":"item","numeric-id":4966494,"id":"Q4966494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77cd6fe2ba92a85a23530fb56ebe15b0d299d551","datavalue":{"value":{"amount":"+0.8309237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1403342$166EA976-4661-4C90-8D4F-AC0029A5E821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8536b0b7dc03fb2d870fb60c0700496eca67338","datavalue":{"value":{"entity-type":"item","numeric-id":3435231,"id":"Q3435231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33a6f3e48a6cc9c926ac25a910408a90f59578d0","datavalue":{"value":{"amount":"+0.8230395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1403342$0F454AC0-D485-47C4-AD8C-9ECC3BB3AFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4045104d27580cc80a406704cb256eef98914d39","datavalue":{"value":{"entity-type":"item","numeric-id":1303794,"id":"Q1303794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4c62e588188a4d682d2cf9063c5293129a6600","datavalue":{"value":{"amount":"+0.81864864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1403342$E26E2F11-FB33-4C49-B9A0-E2DD4E4DA767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449ca352140b6894af5286a6cbb60461f7cf9969","datavalue":{"value":{"entity-type":"item","numeric-id":5459725,"id":"Q5459725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb74120cde8f96012596559056bae927c8c541a","datavalue":{"value":{"amount":"+0.8182051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1403342$76D45DEB-1BA2-4302-ACFD-A2C4A0A50F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b66c85b77d809aaf6c35d7c87d684aceed355e49","datavalue":{"value":{"entity-type":"item","numeric-id":5108132,"id":"Q5108132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8155cad7631faf21861c668ccbb8745420ac96f","datavalue":{"value":{"amount":"+0.81641793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1403342$FC636FA4-78C6-494D-B375-203484941DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c8108ef2337702b12f9ccc6375c8bca14e6631","datavalue":{"value":{"entity-type":"item","numeric-id":4545015,"id":"Q4545015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d237dcfb0541c702738f1b433502bd00788fafd3","datavalue":{"value":{"amount":"+0.81273335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1403342$E4431CA1-6547-4857-8BF9-07DA93370008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde2c31a1b7500b72d9d309d95fe20e157fc7a9b","datavalue":{"value":{"entity-type":"item","numeric-id":4879898,"id":"Q4879898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5095c8a60755076394489a04084b29440edaf51f","datavalue":{"value":{"amount":"+0.7928753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1403342$F3EAD233-AC9A-4C64-8625-9DB4BCFF68F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A functional approach for temporal \\(\\times\\) modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_functional_approach_for_temporal_%5C(%5Ctimes%5C)_modal_logics"}}}}}