{"entities":{"Q1099162":{"pageid":1109914,"ns":120,"title":"Item:Q1099162","lastrevid":69637209,"modified":"2026-04-13T08:22:07Z","type":"item","id":"Q1099162","labels":{"en":{"language":"en","value":"Modality and possibility in some intuitionistic modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039855"}},"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":"Q1099162$94067F99-D461-4F69-A3B8-DB508E3411D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c25281cd22af8f02efa54a35ad0f84faa6567bf3","datavalue":{"value":{"text":"Modality and possibility in some intuitionistic modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1099162$3B3928D0-5038-49A9-A043-679947A881AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1df0ef7a2b6257a3a1df98dce2f904438ffd634b","datavalue":{"value":"0638.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099162$15E2A51C-ADEF-43C5-8900-2D2374565A60","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":"Q1099162$A4F6F4BC-C442-47F9-B0CA-9EDA375A5CFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1099162$1D9EF931-4145-42F4-9B64-7C338A783123","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d86c0f8991872f22312399fc9c93e3c101ec4e88","datavalue":{"value":"In the modal logic based on classical logic, the modal operators L (necessity) and M (possibility) are considered to be dual each other and mutually definable as \\(M\\leftrightarrow \\neg L\\neg\\) and \\(L\\leftrightarrow \\neg M\\neg\\). However in the modal logic based on intuitionistic logic, the duality disappears because of having weak negation, and both equivalences cannot remain valid.    In this paper, some intuitionistic modal logics are studied, that is, L is adapted as a primitive symbol with implicative S4-type axioms and M is defined as \\(\\neg L\\neg\\). (L\\(\\leftrightarrow \\neg M\\neg\\) does not hold generally.) The purpose of this paper is to analyze the behaviour of M, and to show the use of algebraic models to obtain logical properties of the modal systems. Concerning the behavior of M, there are two points. One is the study of all different modalities, and the other is the possible definition of intuitionistic modal logics analogous to S5-type. The concerning algebraic models are the topological pseudo-Boolean algebras in the author's earlier paper in Models and Sets, Proc. Logic Colloq., Aachen 1983, Part I, Lect. Notes Math. 1103, 169-192 (1984; Zbl 0562.03034).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099162$B1FD89F5-E675-469D-9839-EBF2427C61BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099162$84C0735E-8E7D-4E2E-92AA-22AD49540FE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f8a2f3e02456579fd583da6fd12a6c7e8c976c9","datavalue":{"value":"4039855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099162$A104152F-748E-4F21-9BED-D386C13235CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"650a94ff8fe460eed92359c05af70ab066531f90","datavalue":{"value":"number of different modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099162$A50E0884-D5CA-4505-82B5-1DB6EB1A7736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4edc44af0afae3eb9ce509009e3d9b8dbab24f4","datavalue":{"value":"intuitionistic modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099162$E556F55B-CB40-442B-9A91-B183101B3B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62430376555ae73fdb28af92032c34efd818513e","datavalue":{"value":"algebraic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099162$262AF73E-13FB-4590-8EC2-58A3650ACC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54a331e8659f25ee803ae426d1870e68f7c3183d","datavalue":{"value":"topological pseudo-Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099162$746417D6-D45E-40FC-ACF6-5086302F90E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc8dcbf968ebff5e32c9bfc9430cbef55065afb","datavalue":{"value":{"entity-type":"item","numeric-id":218967,"id":"Q218967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099162$86310D2E-2D5D-491F-A7B0-5037FBE3092F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a99cc43754442bd871d0e4e19845916a0a9ba924","datavalue":{"value":{"entity-type":"item","numeric-id":1230772,"id":"Q1230772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099162$6093C54C-E661-431E-9BE6-6688974DD5D0","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":"Q1099162$ACD43055-C14A-49F2-A424-17ABD7CEC3E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f25c558357ee41694f2f74cb0c0a0aee0f64ce9a","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636766","type":"string"},"datatype":"url"},"type":"statement","id":"Q1099162$B74665A9-0F24-4CA2-916F-A1F9F49B0321","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cd47811ab40bd5ad5f2a474516774881aed6816","datavalue":{"value":"W2077513906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099162$46A9B3F0-F0CC-43DD-B645-F1F837309358","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fa77cad553d66459be0ef47d7a5ac875fdc5b95","datavalue":{"value":"10.1305/NDJFL/1093636766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099162$CA7C3989-ABCF-4AFF-933E-C376B4720F0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c0d30cb8ade5b782c1fa6c884ccfd2a5d92594e","datavalue":{"value":{"entity-type":"item","numeric-id":5187280,"id":"Q5187280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73621c2070f79c78183a80799911aa9a44004148","datavalue":{"value":{"amount":"+0.80195236","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":"Q1099162$A0D77CA8-F10E-42BF-9F67-6A5D57479818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99fb0127263f5a1c4eff739bb8493af7eda42b26","datavalue":{"value":{"entity-type":"item","numeric-id":685061,"id":"Q685061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3018a3ec9119800488fcf518cfd3ebb83716e8b3","datavalue":{"value":{"amount":"+0.76096594","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":"Q1099162$1C0BF3C8-801C-435D-99E7-C1E34D7EFD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f511599d27bc135fe5d9c23c699294ef7446c543","datavalue":{"value":{"entity-type":"item","numeric-id":798615,"id":"Q798615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c5e2239b6677747459e81e86b48bac271a3479","datavalue":{"value":{"amount":"+0.75679934","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":"Q1099162$6357D1CE-887D-4DE7-AD24-62A2104A8328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352257cf796302043f14803cdbd955d135962283","datavalue":{"value":{"entity-type":"item","numeric-id":3726084,"id":"Q3726084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f85b3c00a47732fa201c27d855fd6e6016810f","datavalue":{"value":{"amount":"+0.7507067","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":"Q1099162$A391B323-34AE-457A-895F-F6975AFE5B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a65cac6ed41f2591b8bdfaa5fe5fb087dc27f3d","datavalue":{"value":{"entity-type":"item","numeric-id":3022775,"id":"Q3022775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9cdf2c70dafe9a0ff5d5b63d46396fb8942b1ae","datavalue":{"value":{"amount":"+0.73808104","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":"Q1099162$F7429625-1782-4602-9689-C74D0FE16A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e9e397e84e5a8cc9408a4d3f6124c48b52f0879","datavalue":{"value":{"entity-type":"item","numeric-id":3710519,"id":"Q3710519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76dee338d861f5fb69500669d02f2f610d9ab197","datavalue":{"value":{"amount":"+0.735203","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":"Q1099162$22E04246-15C1-476C-8025-9E0BB425EC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87af06e3cf407684001f79e26689535128884275","datavalue":{"value":{"entity-type":"item","numeric-id":5395256,"id":"Q5395256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c9c9c78803745aa6f0410264fb6336d2290ee2c","datavalue":{"value":{"amount":"+0.7300296","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":"Q1099162$647F96D4-00AE-458A-8DB6-3E195F4E8CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47ca642f3306c4cf2ee01e3f5bb1320a8f7dff5","datavalue":{"value":{"entity-type":"item","numeric-id":5437776,"id":"Q5437776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3b3582fc85e66a99ee556fe9db1da709b00265","datavalue":{"value":{"amount":"+0.72183937","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":"Q1099162$6820CF65-6FA0-4A6E-940B-DD2CBDBAAB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a7e863d967f59858deefcaee199d6b040b65e6","datavalue":{"value":{"entity-type":"item","numeric-id":3509060,"id":"Q3509060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"834a2f880ab9dc2ab0459722df4e6c46fab1c27e","datavalue":{"value":{"amount":"+0.71915567","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":"Q1099162$311BF512-F336-4D94-B6C3-2ACD43B4D940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3bb7d11f5dcdd22c06e3a5213d53e310fd02e7","datavalue":{"value":{"entity-type":"item","numeric-id":3616432,"id":"Q3616432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5d7fb78b922e31c9b8677e65c4ec3b5c08c72b7","datavalue":{"value":{"amount":"+0.7142282","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":"Q1099162$14E93CAE-8A40-40B6-84C3-9D9000D17F05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modality and possibility in some intuitionistic modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modality_and_possibility_in_some_intuitionistic_modal_logics"}}}}}