@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q210841 rdfs:label "منطق موجهات"@ar,
        "lògica modal"@ca,
        "modální logika"@cs,
        "modallogik"@da,
        "Modallogik"@de,
        "modal logic"@en,
        "modala logiko"@eo,
        "lógica modal"@es,
        "modaalne loogika"@et,
        "logika modal"@eu,
        "منطق موجهات"@fa,
        "modaalilogiikka"@fi,
        "logique modale"@fr,
        "loighic mhódach"@ga,
        "לוגיקה מודלית"@he,
        "modális logika"@hu,
        "Մոդալ տրամաբանություն"@hy,
        "Modala logiko"@io,
        "Háttarökfræði"@is,
        "logica modale"@it,
        "様相論理"@ja,
        "Ũgo wa Narĩ"@ki,
        "Модалды логика"@kk,
        "모달 논리"@ko,
        "Модалдык логика"@ky,
        "Logica modalis"@la,
        "modallogikk"@nb,
        "modale logica"@nl,
        "modallogikk"@nn,
        "logika modalna"@pl,
        "lógica modal"@pt,
        "logică modală"@ro,
        "модальная логика"@ru,
        "Modalna logika"@sh,
        "modálna logika"@sk,
        "modalna logika"@sl,
        "Модална логика"@sr,
        "modallogik"@sv,
        "kipli mantık"@tr,
        "Модальна логіка"@uk,
        "Lohika modal"@war,
        "模态逻辑"@wuu,
        "模态逻辑"@zh,
        "模态逻辑"@zh-cn,
        "模态逻辑"@zh-hans,
        "模態邏輯"@zh-hant,
        "模態邏輯"@zh-hk,
        "模态逻辑"@zh-sg,
        "模態邏輯"@zh-tw ;
    schema1:dateModified "2026-07-10T12:00:05+00:00"^^xsd:dateTime ;
    schema1:description "Art von logischem System"@de,
        "formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc."@en,
        "formala logiko kapabla esprimi ecojn kiel necesecon, eblecon, pruveblecon, devigon, scion ktp"@eo,
        "Posibilitatea eta beharraren kontzeptuak kontuan hartzen dituen logika. Logika modalak 'litekeena da bihar euria egitea' edo 'beharrezkoa da bihar euria egitea' moduko esakuneak erabiltzen ditu."@eu,
        "type de système logique"@fr,
        "tipo di sistema logico"@it,
        "형식 논리의 유형"@ko,
        "estudo rigoroso de estruturas lógicas que representam modalidades diversas"@pt,
        "Några begrepp tillagd"@sv,
        "非古典逻辑的一个分支，研究“必然”“可能”及其相关概念的逻辑性质和涉及这些情态概念的推理"@zh ;
    schema1:version 2515852834 ;
    wikibase:identifiers 38 ;
    wikibase:sitelinks 41 ;
    wikibase:statements 53 ;
    skos:altLabel "منطق الموجهات"@ar,
        "منطق طوري"@ar,
        "Modal-logik"@de,
        "Modale Logik"@de,
        "Modaalloogika"@et,
        "منطق وجهی"@fa,
        "Aleettinen logiikka"@fi,
        "Aleettinen modaalilogiikka"@fi,
        "catégorie modale"@fr,
        "catégories modales"@fr,
        "לוגיקה מודאלית"@he,
        "Kontingenteso"@io,
        "Kontingento"@io,
        "様相論理学"@ja,
        "양상 논리학"@ko,
        "Модалдык kогика"@ky,
        "Konieczność"@pl,
        "Możliwość"@pl,
        "Logica Modal"@pt,
        "модальность"@ru,
        "modal logik"@sv,
        "kipler mantığı"@tr,
        "kiplik mantığı"@tr,
        "modal mantık"@tr,
        "Алетична логіка"@uk,
        "可能性"@zh,
        "情态逻辑"@zh,
        "模态算子"@zh,
        "真势模态逻辑"@zh ;
    p:P10283 wds:Q210841-B4F52C3E-3421-46F3-94BF-E03C5511B06E ;
    p:P1036 wds:Q210841-4940A0C6-4F20-489C-9CF2-5CF19705DEFA,
        wds:Q210841-800544D2-58C9-493A-8FD3-CB6A167AC2CC ;
    p:P10565 wds:Q210841-FA73C071-5471-4A7E-A7F1-E58D21760544 ;
    p:P11514 wds:Q210841-B93D7273-5AFF-40A4-B0BF-49E03813B916 ;
    p:P11662 wds:Q210841-5547BA13-B127-401E-8B41-9C62ADA670DC ;
    p:P12582 wds:Q210841-8C6F599A-9DA0-4068-8D4A-CEF1083A5BBA ;
    p:P12946 wds:Q210841-E76879D1-66EE-4C30-A5D2-9D4933F6BC84 ;
    p:P12975 wds:Q210841-16226D0A-725C-42B6-987A-EAC557346BF9 ;
    p:P13059 wds:Q210841-D9F4D3F5-5497-46B1-9F84-F401403CCE77 ;
    p:P1343 wds:Q210841-BA1FCAAE-3B32-4F18-9B49-041622B86CEE,
        wds:Q210841-b6bacdcf-5a18-4783-9185-30ad11075aac ;
    p:P1417 wds:Q210841-9CC18280-16FC-4BD7-9C08-1F712255FD5D ;
    p:P14541 wds:Q210841-403DCC74-0760-4DB0-B3F3-451FE476DA0B ;
    p:P1482 wds:Q210841-87ad2c86-4b4f-f519-34b3-b02f324430e0,
        wds:Q210841-f576a376-44b0-a0f0-2d44-df56eacc2736 ;
    p:P227 wds:Q210841-5A9731B1-EAE8-4DD0-ADCC-601B21B02F2A ;
    p:P279 wds:Q210841-3c0ec48f-4ca4-f96c-c154-47ee75607d57,
        wds:Q210841-f07184b2-473a-df50-3570-6e8607c6c84d ;
    p:P2924 wds:Q210841-0997325B-D4B0-4997-81EF-013B076C65AF ;
    p:P31 wds:Q210841-278fae55-4c81-f3ce-654d-669bcf361943,
        wds:Q210841-ed170e52-44f6-af32-23ca-4a6d26204f0c ;
    p:P3123 wds:Q210841-4DD68E4D-7D28-47B1-9FE4-83EB72CF56E8,
        wds:Q210841-597C5EAE-E31D-4F78-B3C3-FA21D3ADE428 ;
    p:P3222 wds:Q210841-71A52B4F-7BF8-4586-8AE3-E86C39A38A84 ;
    p:P3235 wds:Q210841-C080A78C-0D87-4737-B47F-3EA099D6CDA2 ;
    p:P3285 wds:Q210841-409f52b8-4b1c-4632-afb4-5fb015587787 ;
    p:P3417 wds:Q210841-0DB5F4AC-E3BC-4189-A9CC-16C0EC32C11D ;
    p:P361 wds:Q210841-10C31D6D-4E3F-43A7-B0E4-8C9DEAB64CD4,
        wds:Q210841-EA58A543-7AE3-4E30-91E3-EC1BA22CB9F9 ;
    p:P373 wds:Q210841-5B6B0E1C-A36B-4886-A721-B44ECFDD2BEE ;
    p:P3827 wds:Q210841-28456F16-469B-484D-A894-E3EE24CDC6E9 ;
    p:P4215 wds:Q210841-D3869B2D-B762-49E8-ACC5-052B1B547870 ;
    p:P4746 wds:Q210841-34CB6E9B-BA24-4D19-A3AF-BC8B79A04FD4 ;
    p:P5019 wds:Q210841-5CDCF591-3C8D-4629-8BE1-8EF74BC2B000 ;
    p:P508 wds:q210841-52494E3C-3C51-4A0D-8870-518FF0A67FD8 ;
    p:P5555 wds:Q210841-9373eacc-4c21-f17d-a089-8baa4fe43c2f ;
    p:P6366 wds:Q210841-C7D6BE63-8F4B-4B77-BBFE-7F69495C6B5D ;
    p:P646 wds:Q210841-F052C64B-BDA2-40BE-8846-68279D9BFEDA ;
    p:P6781 wds:Q210841-0c16032f-4c00-7d35-b722-a08edf9441b9 ;
    p:P691 wds:Q210841-F06AE6C7-2F6B-47C8-A52B-4148B36C090D ;
    p:P737 wds:Q210841-82452b0f-4e56-cc34-38f0-c45e410d2c2c,
        wds:Q210841-a3b744c6-40ed-8d7d-f3ad-0ea0719f12a3 ;
    p:P7982 wds:Q210841-3DBE8C1D-9A9F-4E10-8773-A507A55FABE1 ;
    p:P8313 wds:Q210841-5864255C-AD79-4EB0-98A9-91E1CA40DF50 ;
    p:P8349 wds:Q210841-33DDB118-9A31-4877-8B8B-CE3F141A921E ;
    p:P8408 wds:Q210841-2193150B-1ACF-4A89-99E2-54F50B39DA0A ;
    p:P910 wds:Q210841-B7722DE1-C946-428D-B3C7-258FF2DCECA1 ;
    p:P9162 wds:Q210841-909A3E6E-77EE-4274-814B-F4CA3161286B ;
    p:P9322 wds:Q210841-44FFF0AD-E2FC-4B74-963E-B52D69CEF797 ;
    p:P950 wds:Q210841-90FD8D8B-BA46-4075-A7B7-5DB0B1BE91D5 ;
    p:P9545 wds:Q210841-2B74F366-2FFC-4112-AD9D-64ECF71F0B2D ;
    p:P9621 wds:Q210841-B7E0F7CC-B97F-4CD4-9F7A-1D367EE1ABAA ;
    wdtn:P227 <https://d-nb.info/gnd/4074914-9> ;
    wdtn:P3285 <http://msc2010.org/resources/MSC/2010/03B45> ;
    wdtn:P508 <http://purl.org/bncf/tid/12077> ;
    wdtn:P6366 <https://makg.org/entity/27508121> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/ModalLogic> ;
    wdtn: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" .