{"entities":{"Q1823925":{"pageid":1834667,"ns":120,"title":"Item:Q1823925","lastrevid":49311673,"modified":"2026-01-06T22:53:52Z","type":"item","id":"Q1823925","labels":{"en":{"language":"en","value":"An `almost classical' period-based tense logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4116501"}},"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":"Q1823925$4B7E1DA7-7021-4B39-BA72-63707DC60C1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9945592789049312481e256319085470b4280319","datavalue":{"value":{"text":"An `almost classical' period-based tense logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823925$33423366-6886-4564-9895-4015C09574F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e84f790ffef1357cd7e85b65e479fec4c9a32e5","datavalue":{"value":"0682.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823925$8AEED8ED-3A4D-4DD5-8D39-1F33D639ED89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"197d2c46436dea04377fbf942a5a57ff5b6ca437","datavalue":{"value":{"entity-type":"item","numeric-id":762056,"id":"Q762056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823925$D4B09DA5-0086-46F4-81E6-5B264B040C30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823925$8A326950-A6ED-464D-A5AA-FB26ABFC08D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1823925$D89BC24C-1E77-4D74-843E-73A6F48E42C2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"568b02d4ae46c7e0c67492a855b8c392c8840864","datavalue":{"value":"Moving to a period based semantics, leaves us with at least two options for defining the truth of a negated sentences with respect to a formula. The homogeneous strong negation of a formula A - \\(\\neg A\\)- has an intuitionistic flavour about it: \\(\\neg A\\) is true at interval i iff A is not true at any subinterval of i. The weak negation of a formula A - \\(\\sim A\\)- is entirely classical but heterogeneous. The truth of \\(\\sim A\\) at an interval i does not preclude that A is true at a subinterval j of i. So the question arises, addressed by the author, whether there is a period based tense logic which has a classical negation with a homogeneous character.    The author shows that the negation sought for can be defined relative to the standard topology of a Euclidean 1-space over a nondenumerable dense and continuous strict linear order. He proves soundness and completeness of the linear tense logic LinP-B with respect to the class of these models. To prove soundness, he shows that LinP-B is sound and complete with respect to a class of temporal algebras, and that each topological model is epimorphic to such a temporal algebra. To prove completeness, he first proves completeness with respect to denumerable linear Kripke models, and then goes on to show that each such model is equivalent to a Euclidean 1-space model.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823925$5A17CCC2-00CD-480B-9B71-1B321AB9CA4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823925$F84EBA77-E9D1-40EB-9775-5D646BF31A87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6cef3c348f2676f90ca796ce40b4b8dfe10e605","datavalue":{"value":"4116501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823925$F4C058FF-A8C7-416C-89F6-DF16E7AA27BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4731bfcf6b0a50b2a8bd91de60d8d7959a49cb3","datavalue":{"value":"homogeneous negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823925$5328938B-F4DE-4530-867B-909D00DF3BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60e62982599f71d6f85d42bb7503a8b7ea757cc0","datavalue":{"value":"period based semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823925$FE5D77A9-FBF6-4A50-BEB8-354B79B4B25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3b056a4aa06d81cd0ef1bd274867a8635484c31","datavalue":{"value":"weak negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823925$DE3EDA86-9141-42C5-AE85-9C241C4A7DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c9109b823e1034925008032a16fcae1afb8216","datavalue":{"value":"period based tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823925$CAB8A8CF-C58D-404F-8BB6-C84FC0E93FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33d503007c80b0ea5702688662a8a7cac72e2090","datavalue":{"value":"classical negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823925$28B36233-2273-4A43-A240-7A3B688FDA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c3b6453b9c1f898b4011b1d0fb48d646e8d21b6","datavalue":{"value":"linear tense logic LinP-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823925$CF970B9F-6D85-40FB-94DC-6E814D9846E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8be119e1b508a093b09e4b1756fe8c7108a9224d","datavalue":{"value":"temporal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823925$DF74D996-41E4-4C2A-9A67-39E86DECDF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cef1bc36dfcdbb0928c60ed52e1d34b489ea6fac","datavalue":{"value":"topological model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823925$8975D0FC-06C6-4B67-ADC5-CC8F785859C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ceac40cbf84dc849720022bd162ca8e7c82672c","datavalue":{"value":"denumerable linear Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823925$84FEB74D-714C-4EDE-89F0-8930CBDA1D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"097363bc41da828fd342b903be2447d67a1c4a78","datavalue":{"value":"Euclidean 1-space model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823925$29F12A70-FF5A-4386-B732-AC26A35B08DB","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":"Q1823925$DB4D2142-1F43-4540-A237-0F5B8CDADB56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a055243fcf8f654338662a50c777a3018d6952c9","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093637939","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823925$E1C1CA03-506D-44DF-8946-2BACCC2181CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55d0965e76e7f7218195061b2ef409d1b960393e","datavalue":{"value":"W2028126951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823925$A5C9ED9C-902E-407E-856A-B12F4CA36DD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b442b991401791ad753950e70edb91330c6f3ad","datavalue":{"value":"10.1305/NDJFL/1093637939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823925$1F4C94C1-B035-4383-8FC4-40C88CFD6BC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b6d5a855d251654f4ae567de552341724aef686","datavalue":{"value":{"entity-type":"item","numeric-id":1038658,"id":"Q1038658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff59fc9e7b4edf8c49486bd7138cc0245915db4","datavalue":{"value":{"amount":"+0.730891227722168","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":"Q1823925$DE68B338-7D03-4558-9F87-EF17CC3BBA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab883464740a24d5b2e11f29690e8b8b1aaa1049","datavalue":{"value":{"entity-type":"item","numeric-id":791514,"id":"Q791514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9bf8e693f4eb018d2b92d18ada6d2140062ea4e","datavalue":{"value":{"amount":"+0.7135336995124817","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":"Q1823925$51478D95-28CC-41B3-8CAC-A555EF8CF94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62b43a20c757d7c7a2d59a027ea0d624912434e6","datavalue":{"value":{"entity-type":"item","numeric-id":2277246,"id":"Q2277246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"501c1182e455d38e4ed6bbbf6577dcc13a7f5936","datavalue":{"value":{"amount":"+0.7120019197463989","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":"Q1823925$11D0EB56-46EB-4A9B-88A9-42FDCACC0DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f807fb7ce1dfa9fb72f873dfcaa3b6bc05c12c4","datavalue":{"value":{"entity-type":"item","numeric-id":3686699,"id":"Q3686699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377ad12b84f13e95d21e62a54f6f2ed6ca778ba3","datavalue":{"value":{"amount":"+0.7118610143661499","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":"Q1823925$1709C585-90D1-4D91-99A1-2707FC202B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff5db92aba112455044f8b0e4c9583ddfdb5f06a","datavalue":{"value":{"entity-type":"item","numeric-id":3320343,"id":"Q3320343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29fdcd5f67bdfbb5cdd5bbd96053599566822924","datavalue":{"value":{"amount":"+0.7090850472450256","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":"Q1823925$E12E4949-D0C3-4C6B-B4C2-6B797F84ABB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1823925","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1823925"}}}}}