About: Multimodal logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Модальна логіка, яка має більш ніж один примітивний модальний оператор

Property	Value
dbo:description	модальна логіка, яка має більш ніж один примітивний модальний оператор (uk) модальна логіка, яка має більш ніж один примітивний модальний оператор (uk)
dbo:wikiPageExternalLink	http://plato.stanford.edu/entries/logic-modal
dbo:wikiPageWikiLink	dbr:James_Garson dbc:Modal_logic dbr:Theoretical_computer_science dbr:Subject_(philosophy) dbr:Vaughan_Pratt dbr:Arthur_Prior dbr:Modal_μ-calculus dbr:Temporal_logic dbr:Dynamic_logic_(modal_logic) dbr:Modal_operator dbr:Regular_expression dbr:Modal_logic dbr:Stanford_Encyclopedia_of_Philosophy dbr:Negation dbr:Accessibility_relation dbr:Kripke_semantics dbr:Hennessy–Milner_logic dbr:Fixed-point_logic dbr:Possible_world_semantics dbr:Program_verification dbr:Knowledge_representation dbr:Epistemic_logic dbr:Tense_logic dbr:Dov_M._Gabbay dbr:Epistemic
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:SEP dbt:Sfn
dct:subject	dbc:Modal_logic
rdfs:label	Multimodal logic (en) Мультимодальна логіка (uk)
owl:sameAs	freebase:Multimodal logic wikidata:Multimodal logic dbpedia-ro:Multimodal logic dbpedia-uk:Multimodal logic dbpedia-global:Multimodal logic
prov:wasDerivedFrom	wikipedia-en:Multimodal_logic?oldid=1293802851&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Multimodal_logic
is dbo:wikiPageDisambiguates of	dbr:Multimodal
is dbo:wikiPageWikiLink of	dbr:Modal_μ-calculus dbr:Dynamic_logic_(modal_logic) dbr:Modal_operator dbr:Common_knowledge_(logic) dbr:Modal_logic dbr:Epistemic_modal_logic dbr:Multimodal dbr:Index_of_philosophy_articles_(I–Q) dbr:Standard_translation
is rdfs:seeAlso of	dbr:Kripke_semantics
is foaf:primaryTopic of	wikipedia-en:Multimodal_logic