{"entities":{"Q598308":{"pageid":600084,"ns":120,"title":"Item:Q598308","lastrevid":48307555,"modified":"2026-01-04T07:56:57Z","type":"item","id":"Q598308","labels":{"en":{"language":"en","value":"First-order intensional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083197"}},"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":"Q598308$185EFBD2-550A-4E46-BC48-9E43E174E8A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f32881f75c84d40f7c6d3588c35bdca02320415b","datavalue":{"value":{"text":"First-order intensional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q598308$1867F119-596D-4B30-BFAB-72677D02276A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2353414076f6906e5b4dc3a28d4b3f33f1daa22f","datavalue":{"value":"1061.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598308$C95BFDE3-FDBD-4682-95AA-6DF164FF5C91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$B93718A2-6610-461E-8BC7-C47924E5A303","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$2BFF9EE3-2369-468E-921C-3C01C0695ED4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q598308$27B40DF1-EC80-45E1-9EB4-61764A9BD728","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3122bb6a515d35bf3e267213ff578ba89dc708ae","datavalue":{"value":"Several approaches to first-order modal logic are referred to, in particular to D. Lewis' counterpart and multiple counterpart models. The author presents first-order intensional logic with object variables and intensional variables (where intensions are construed as usually, i.e., as functions from possible worlds). The syntactic part is represented by tableaux using prefixes (which indicate possible worlds). A completeness proof is suggested.","type":"string"},"datatype":"string"},"type":"statement","id":"Q598308$7859F568-BEEA-4BF2-9A73-FBA12AADA12E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"639db72055e00dbcf7c5c772a4c6714fc15efa01","datavalue":{"value":{"entity-type":"item","numeric-id":587578,"id":"Q587578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$6EBD65B6-C11F-4E37-83AA-73DFD4E5F196","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598308$CBBB95C5-DC41-4010-A204-CE0AB36DB5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598308$9A6DF9E7-2658-40B7-9FE0-0F7D80412DD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a635644db6c1493713ae708ff1b3e6416bd20ccd","datavalue":{"value":"2083197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598308$300013A5-3888-4887-87F0-C39B21DAC202","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q598308$05BE3FA4-9738-4AA9-8086-154F39116A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c6e6f13e308e7e28c37554ecc0101d13c6c9cb0","datavalue":{"value":"quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q598308$3954B1A1-15B8-452C-8780-CB82B45D02A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q598308$264FF23F-CF8B-459A-83D9-63201466A999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"586b44b549203c66170c67bcfe3dd1118d00edd7","datavalue":{"value":"counterpart semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q598308$99F10867-FE57-4E91-BF7E-C34624FDE51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8b589384ac66b263de8aa34139fd488c1344be6","datavalue":{"value":"intensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q598308$10B99CF6-E96B-4BC4-AFF7-D03FDB46D23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q598308$B2304D94-90BD-4A79-AFED-DE9A5A1425BA","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":"Q598308$B68AF719-A059-41D6-AD15-6A5BE5AEB158","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bac2aecd096528d42b7dfb97450bc915b85fe5a0","datavalue":{"value":"https://doi.org/10.1016/j.apal.2003.11.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q598308$49465C46-494D-474E-8C95-384FBD59B0F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2861463ca772608ffba355590323ec95e2f1cdf2","datavalue":{"value":"W2005814072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598308$B9C152DE-26EC-4CB5-9C15-7CDE35EE3560","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"482630ccbb4eaf6cb5c2ab91aad34922fded3ef5","datavalue":{"value":{"entity-type":"item","numeric-id":2535854,"id":"Q2535854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$9537727F-5FF9-4BE1-B745-BA810FECE218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$2C5457EC-AC39-43F2-95FD-3BE0CA5CF887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c2b0094c3741221ceb605fa00cbb36040ec5bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2767043,"id":"Q2767043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$9CCF4500-A1CE-4011-8063-7A779CE6EEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"675fb831e174b00534ac41ceae05f864cb19fce9","datavalue":{"value":{"entity-type":"item","numeric-id":2721181,"id":"Q2721181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$ED2ACA2E-D84D-487F-B2B1-5C4EBDF7EF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5445f7af0f9161d03fe0b5ba44e8232112c0ee60","datavalue":{"value":{"entity-type":"item","numeric-id":4796461,"id":"Q4796461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$0F714F48-7491-4CC2-A807-AA6E724A07BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bebb311f3b828ed54a337cc22ee8307930b24","datavalue":{"value":{"entity-type":"item","numeric-id":1406610,"id":"Q1406610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$F12B8338-A7E6-417F-9D4D-11880A15A3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$A1770B2C-6188-444B-94EB-25204E95522D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0457f0d5a737e9bb31a4a77d28a97e459977c406","datavalue":{"value":{"entity-type":"item","numeric-id":4108293,"id":"Q4108293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$3A41B036-8660-418D-A2D8-10AE86838449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ee4ebee9996e0e65a2825268a79270ff5cef2","datavalue":{"value":{"entity-type":"item","numeric-id":3984427,"id":"Q3984427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$301F29F8-465E-4371-9616-DAADB3D6AB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a0757381cad586f0ad8d728ce1e186da6479a9","datavalue":{"value":{"entity-type":"item","numeric-id":1207339,"id":"Q1207339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$C997F69E-BAA0-4260-9AC5-2D9FC2BB378D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$3F0F083B-C635-4260-AB98-CBA2C2602E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$FD36FF69-36FA-4BCE-91AC-A3B4581E00EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f7e5b58c0daa34689c046992f146573d8b9469","datavalue":{"value":{"entity-type":"item","numeric-id":4833774,"id":"Q4833774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$16F824BF-7DFA-443A-A85C-EF40C706E745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e4f8996f91ee591dc0c2901a6854bd451ac5b2","datavalue":{"value":{"entity-type":"item","numeric-id":5711930,"id":"Q5711930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$1DFA168E-B7CF-4429-82DF-31970F83D2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$459C31F3-73B0-4ECA-8922-B3F9DFB39249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8699f899d3d9ead3546ea31dca3cd85bdb091db7","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$13C2B13E-F65C-4E94-9D50-48E1E5CD36B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49eb071380334d25322d7936424989d3a4730873","datavalue":{"value":{"entity-type":"item","numeric-id":2549690,"id":"Q2549690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$41EBE78B-ECEB-44E3-95F4-CBAFD0B9BEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b784833bb0a0f4aa446515fe51086c89b5662671","datavalue":{"value":{"entity-type":"item","numeric-id":4215605,"id":"Q4215605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$54C7D397-E335-41E6-8A27-4464C0622484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07be17a47b8932e3c742bc872bd64dd1b30bbb45","datavalue":{"value":{"entity-type":"item","numeric-id":688796,"id":"Q688796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$739EB5DD-641E-45F4-90D5-84156AE9DE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c6890096202bd9df58c8ba9979b958ec301cfc","datavalue":{"value":{"entity-type":"item","numeric-id":4697033,"id":"Q4697033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$55CEB00E-3FC1-4C91-BB6C-A32B095C22E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4f5dec49600ecee20cc0c7f9efdf5426346c24","datavalue":{"value":{"entity-type":"item","numeric-id":1970921,"id":"Q1970921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598308$29057E0F-26D3-4A62-8BEA-91387B6C4AFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8ce72727d3b9787dd08d4a46ad3ad30f03b3cdf","datavalue":{"value":"10.1016/J.APAL.2003.11.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598308$004A6497-94EF-41BF-9B13-4817DCAC426E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c01eae986230d20955c3bb1292bb45818eeb1a9","datavalue":{"value":{"entity-type":"item","numeric-id":4463930,"id":"Q4463930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba0a4b762b59e15b467ad791484b1194b56d891","datavalue":{"value":{"amount":"+0.7988749146461487","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":"Q598308$E53903B7-B2EE-4F7B-9DBD-B479890FAEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ddc51bc6e27a4569a17968485e70f6d1bb0171b","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418f90b9a997ec4a19f5b89295acb8af53c1cfa3","datavalue":{"value":{"amount":"+0.7641690373420715","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":"Q598308$020DC67E-B6F5-477F-A6A4-9F1EE93D2441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ba0fc156f8474dc75589e179fab4757d445722","datavalue":{"value":{"entity-type":"item","numeric-id":3535491,"id":"Q3535491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418f90b9a997ec4a19f5b89295acb8af53c1cfa3","datavalue":{"value":{"amount":"+0.7641690373420715","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":"Q598308$7350E869-CF12-44C0-A7D9-8A16E1F933A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92939b86137af1b0455e2845a510c8f884a99fbc","datavalue":{"value":{"entity-type":"item","numeric-id":1178699,"id":"Q1178699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6be17ae75bfdc820248eecfa9420c23069071c","datavalue":{"value":{"amount":"+0.7597507834434509","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":"Q598308$26673ABE-9F06-43C6-A596-CA8873ADDCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3892f27c5a4c477c0119e73374a1336b251f922","datavalue":{"value":{"entity-type":"item","numeric-id":3992551,"id":"Q3992551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e728fa7999145e82acf54ed116f46976f5764bbd","datavalue":{"value":{"amount":"+0.7592892646789551","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":"Q598308$557DAF0D-7A47-44F4-8425-FD241E40DCF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:598308","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:598308"}}}}}