SHMARQL

modal logic

<http://www.wikidata.org/entity/Q210841>

formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.
rdfs:label
"modal logic"@en
skos:altLabel
"منطق الموجهات"@ar
"منطق طوري"@ar
schema:description
"formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc."@en
schema:dateModified "2026-07-10T12:00:05+00:00"^^xsd:dateTime
schema:version 2515852834
wikibase:identifiers 38
wikibase:sitelinks 41
wikibase:statements 53
p:P10283 wd:statement/Q210841-B4F52C3E-3421-46F3-94BF-E03C5511B06E
p:P1036 wd:statement/Q210841-4940A0C6-4F20-489C-9CF2-5CF19705DEFA
wd:statement/Q210841-800544D2-58C9-493A-8FD3-CB6A167AC2CC
p:P10565 wd:statement/Q210841-FA73C071-5471-4A7E-A7F1-E58D21760544
p:P11514 wd:statement/Q210841-B93D7273-5AFF-40A4-B0BF-49E03813B916
p:P11662 wd:statement/Q210841-5547BA13-B127-401E-8B41-9C62ADA670DC
p:P12582 wd:statement/Q210841-8C6F599A-9DA0-4068-8D4A-CEF1083A5BBA
p:P12946 wd:statement/Q210841-E76879D1-66EE-4C30-A5D2-9D4933F6BC84
p:P12975 wd:statement/Q210841-16226D0A-725C-42B6-987A-EAC557346BF9
p:P13059 wd:statement/Q210841-D9F4D3F5-5497-46B1-9F84-F401403CCE77
p:P1343 wd:statement/Q210841-BA1FCAAE-3B32-4F18-9B49-041622B86CEE
wd:statement/Q210841-b6bacdcf-5a18-4783-9185-30ad11075aac
p:P1417 wd:statement/Q210841-9CC18280-16FC-4BD7-9C08-1F712255FD5D
p:P14541 wd:statement/Q210841-403DCC74-0760-4DB0-B3F3-451FE476DA0B
p:P1482 wd:statement/Q210841-87ad2c86-4b4f-f519-34b3-b02f324430e0
wd:statement/Q210841-f576a376-44b0-a0f0-2d44-df56eacc2736
p:P227 wd:statement/Q210841-5A9731B1-EAE8-4DD0-ADCC-601B21B02F2A
p:P279 wd:statement/Q210841-3c0ec48f-4ca4-f96c-c154-47ee75607d57
wd:statement/Q210841-f07184b2-473a-df50-3570-6e8607c6c84d
p:P2924 wd:statement/Q210841-0997325B-D4B0-4997-81EF-013B076C65AF
p:P31 wd:statement/Q210841-278fae55-4c81-f3ce-654d-669bcf361943
wd:statement/Q210841-ed170e52-44f6-af32-23ca-4a6d26204f0c
p:P3123 wd:statement/Q210841-4DD68E4D-7D28-47B1-9FE4-83EB72CF56E8
wd:statement/Q210841-597C5EAE-E31D-4F78-B3C3-FA21D3ADE428
p:P3222 wd:statement/Q210841-71A52B4F-7BF8-4586-8AE3-E86C39A38A84
p:P3235 wd:statement/Q210841-C080A78C-0D87-4737-B47F-3EA099D6CDA2
p:P3285 wd:statement/Q210841-409f52b8-4b1c-4632-afb4-5fb015587787
p:P3417 wd:statement/Q210841-0DB5F4AC-E3BC-4189-A9CC-16C0EC32C11D
p:P361 wd:statement/Q210841-10C31D6D-4E3F-43A7-B0E4-8C9DEAB64CD4
wd:statement/Q210841-EA58A543-7AE3-4E30-91E3-EC1BA22CB9F9
p:P373 wd:statement/Q210841-5B6B0E1C-A36B-4886-A721-B44ECFDD2BEE
p:P3827 wd:statement/Q210841-28456F16-469B-484D-A894-E3EE24CDC6E9
p:P4215 wd:statement/Q210841-D3869B2D-B762-49E8-ACC5-052B1B547870
p:P4746 wd:statement/Q210841-34CB6E9B-BA24-4D19-A3AF-BC8B79A04FD4
p:P5019 wd:statement/Q210841-5CDCF591-3C8D-4629-8BE1-8EF74BC2B000
p:P508 wd:statement/q210841-52494E3C-3C51-4A0D-8870-518FF0A67FD8
p:P5555 wd:statement/Q210841-9373eacc-4c21-f17d-a089-8baa4fe43c2f
p:P6366 wd:statement/Q210841-C7D6BE63-8F4B-4B77-BBFE-7F69495C6B5D
p:P646 wd:statement/Q210841-F052C64B-BDA2-40BE-8846-68279D9BFEDA
p:P6781 wd:statement/Q210841-0c16032f-4c00-7d35-b722-a08edf9441b9
p:P691 wd:statement/Q210841-F06AE6C7-2F6B-47C8-A52B-4148B36C090D
p:P737 wd:statement/Q210841-82452b0f-4e56-cc34-38f0-c45e410d2c2c
wd:statement/Q210841-a3b744c6-40ed-8d7d-f3ad-0ea0719f12a3
p:P7982 wd:statement/Q210841-3DBE8C1D-9A9F-4E10-8773-A507A55FABE1
p:P8313 wd:statement/Q210841-5864255C-AD79-4EB0-98A9-91E1CA40DF50
p:P8349 wd:statement/Q210841-33DDB118-9A31-4877-8B8B-CE3F141A921E
p:P8408 wd:statement/Q210841-2193150B-1ACF-4A89-99E2-54F50B39DA0A
p:P910 wd:statement/Q210841-B7722DE1-C946-428D-B3C7-258FF2DCECA1
p:P9162 wd:statement/Q210841-909A3E6E-77EE-4274-814B-F4CA3161286B
p:P9322 wd:statement/Q210841-44FFF0AD-E2FC-4B74-963E-B52D69CEF797
p:P950 wd:statement/Q210841-90FD8D8B-BA46-4075-A7B7-5DB0B1BE91D5
p:P9545 wd:statement/Q210841-2B74F366-2FFC-4112-AD9D-64ECF71F0B2D
p:P9621 wd:statement/Q210841-B7E0F7CC-B97F-4CD4-9F7A-1D367EE1ABAA
p:direct-normalized/P227 <https://d-nb.info/gnd/4074914-9>
p:direct-normalized/P3285 <http://msc2010.org/resources/MSC/2010/03B45>
p:direct-normalized/P508 <http://purl.org/bncf/tid/12077>
p:direct-normalized/P6366 <https://makg.org/entity/27508121>
p:direct-normalized/P8408 <http://kbpedia.org/kko/rc/ModalLogic>
p:direct-normalized/P950 <https://datos.bne.es/resource/XX533464>
wdt:P10283 "C27508121"
wdt:P1036 "160.11984"
"511.314"
wdt:P10565 "216728"
wdt:P11514 "modal-naia-logika-88a751"
wdt:P11662 "1489960"
wdt:P12582 "20110803100203107"
wdt:P12946 "modal+logic"
wdt:P12975 "6471"
wdt:P13059 "325530"
wdt:P1343 wd:Q123625363
wd:Q867541
wdt:P1417 "topic/modal-logic"
wdt:P14541 "44fKZA"
wdt:P1482 <https://philosophy.stackexchange.com/tags/modal-logic>
<https://proofassistants.stackexchange.com/tags/modal-logic>
wdt:P227 "4074914-9"
wdt:P279 wd:Q17488292
wd:Q6044335
wdt:P31 wd:Q11862829
wd:Q20026918
wdt:P3123 "logic-modal"
"logic-modal-origins"
wdt:P3222 "modallogik"
wdt:P3235 "modal-logic"
wdt:P3285 "03B45"
wdt:P3417 "Modal-Logic"
wdt:P361 wd:Q1166618
wd:Q8078
wdt:P373 "Modal logic"
wdt:P3827 "modal-logic"
wdt:P4215 "modal logic"
wdt:P4746 "137195"
wdt:P5019 "modallogik"
wdt:P508 "12077"
wdt:P5555 <http://commons.wikimedia.org/wiki/Special:FilePath/Modallogik.jpg>
wdt:P6366 "27508121"
wdt:P646 "/m/01x5k5"
wdt:P6781 "Definition:Modal_Logic"
wdt:P691 "ph137160"
wdt:P737 wd:Q200694
wd:Q35148
wdt:P7982 "41449"
wdt:P8313 "modallogik"
wdt:P8349 "57144"
wdt:P8408 "ModalLogic"
wdt:P910 wd:Q7470268
wdt:P9162 "9074"
wdt:P9322 "0280952-modalni-logika"
wdt:P950 "XX533464"
wdt:P9545 "221674"
wdt:P9621 "logica-modale"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata