{"entities":{"Q4215596":{"pageid":6245197,"ns":120,"title":"Item:Q4215596","lastrevid":108391793,"modified":"2026-11-06T06:03:14Z","type":"item","id":"Q4215596","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1215464"}},"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":"Q4215596$8F93C20B-0F8B-4C10-9B71-309ED1AD73EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"211c3ccd072eb6f1c8f0ae91942e49ccbb7f4258","datavalue":{"value":"0917.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215596$4C197639-4748-44F2-B751-75D6AF9BD581","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2e96a8166b825564aa7d3e45e288dcc7e8fe930","datavalue":{"value":{"entity-type":"item","numeric-id":190300,"id":"Q190300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4215596$6ACEBDC6-6707-418D-A162-5D85AB8CE8D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f17fe6f73043bfd4b99079c382b6d17c4e7b22f","datavalue":{"value":{"time":"+1999-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4215596$D99CB30C-4B70-4B08-BF9E-C30C331CC798","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215596$5EAE24B6-E5D5-4494-9FDA-828F2F8BF3EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58a0bb586bd295595e4e1a4d8a07e314d87f935f","datavalue":{"value":"1215464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215596$07A1BF8A-325C-4AD9-8AA5-AAF4482C0C08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215596$8F1850B7-4EA2-4058-BFBF-DD3728C8BCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e5c9f11e0e8c8133647ca3ba0fa19e62d1836a1","datavalue":{"value":"bimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215596$B85D8866-739A-4BE8-A807-206AD037980A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dc4c7c5cc08ee9506ef2c6879b96d267c77b9f5","datavalue":{"value":"topological modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215596$1B9F8CFF-C2A4-4672-BC16-4D369ADA81A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ed0d5993e343bad409ac6f264cf0cac5249fe8e","datavalue":{"value":"topological nexttime logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215596$6F071580-EA8C-40BD-BE09-94ADAB48C7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75a311538226cc5f4628ef610729f113a981264d","datavalue":{"value":"nexttime operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215596$0F87F28F-CD1B-434C-8B28-6569813D313E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"538004565259e11ce427f909bba7ea9b8e328e43","datavalue":{"value":"knowledge operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215596$B6C315C6-DEA4-4D1B-AA20-303284444E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215596$72838E6E-38B8-40E1-A406-42139411C75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d80a6c9351d74c42bdc5c50e82da6812942691ca","datavalue":{"value":"neighborhood situations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215596$F4D351F2-B30E-47D0-912F-FA5948915328","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":"Q4215596$E6FA868D-81E1-4DE8-9B9A-1F6012F50C69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85476dc5fbe5b0910caa0051180d744c0b7d2134","datavalue":{"value":{"entity-type":"item","numeric-id":1960421,"id":"Q1960421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a887bed8b8d757412378e0a47604bbbe073e42b","datavalue":{"value":{"amount":"+0.8080748915672302","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":"Q4215596$3AA25ED9-5EAE-4AB2-8E38-E8B3CDFBE139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a45ee6945a12aafc901eda8407f297c7cd46e92","datavalue":{"value":{"entity-type":"item","numeric-id":4699305,"id":"Q4699305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1fe84a9a3b7c83268e7a7bada3f4446978e53f9","datavalue":{"value":{"amount":"+0.7848730087280273","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":"Q4215596$7AB52573-9BE5-4C36-A985-BF83A062A893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846c7f60eed623f222e9e39b582c077f7e52091c","datavalue":{"value":{"entity-type":"item","numeric-id":2027210,"id":"Q2027210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1bfc9de964327586bb1aa5e3b129e2cc2a7ef2c","datavalue":{"value":{"amount":"+0.7846881151199341","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":"Q4215596$64CFD4E0-B2F4-470E-886D-E075182BE184","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7a8fb7874e33a3c529aa90784327261374fdbbd0","datavalue":{"value":"Topological nexttime logic (TNL) is a bimodal logic with two modalities -- \\(\\bigcirc\\), the nexttime operator, and \\(K\\), the knowledge operator. The (propositional) language of TNL is defined as usual. The semantical domains of TNL are triples \\((X, d, \\sigma)\\), where \\(X\\) is a non-empty set, \\(d\\) is a mapping from an initial segment \\(I\\) of the set of natural numbers into the powerset of \\(X\\) such that \\(i \\leq j\\) implies \\(d(i) \\supseteq d(j)\\) for all \\(i, j \\in I\\), and \\(d(i) \\not = \\emptyset\\) for all \\(i \\in I\\), \\(\\sigma : PV \\times X \\rightarrow \\{0, 1 \\}\\), where \\(PV\\) is a recursively enumerable set of propositional variables. The semantics of TNL is defined as follows. Let \\({\\mathcal M} = (X, d, \\sigma)\\), \\(I\\) be the domain of \\(d\\) and \\({\\mathcal O} := d(I)\\). Then \\[ X \\otimes {\\mathcal O} := \\{ (x, d(i)) : i \\in I,\\;d(i) \\in {\\mathcal O},\\;x \\in d(i) \\} \\] is called the set of neighborhood situations. The validity relation is defined for neighborhood situations; for example, if \\(A\\) is a propositional variable, then \\(x, d(i) \\models_{\\mathcal M} A\\) iff \\(\\sigma(A, x) = 1\\), \\(x, d(i) \\models_{\\mathcal M} K \\alpha\\) iff \\((\\forall y \\in d(i)) y, d(i) \\models_{\\mathcal M} \\alpha\\), \\(x, d(i) \\models_{\\mathcal M} \\bigcirc \\alpha\\) iff \\(i+1 \\in I, x \\in d(i+1)\\), and \\(x, d(i+1) \\models_{\\mathcal M} \\alpha\\). A set of axioms and rules is presented. Soundness, completeness, and decidability results are proven. Finally, it is shown that the TNL-satisfiability problem is NP-complete. For the entire collection see [Zbl 0897.00022].","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215596$F0E2BB47-AF70-45BF-BC0A-0F36213BACBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4215596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4215596"}}}}}