About: Dynamic epistemic logic

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

unknown

Property	Value
dbo:thumbnail	wiki-commons:Special:FilePath/WikiDEL1b.png?width=300
dbo:wikiPageExternalLink	https://archive.org/details/knowledgebeliefi00hint_0%7Curl-access
dbo:wikiPageWikiLink	dbr:Axiom_schema dbr:Model_checking dbr:Intelligent_agent dbr:File:WikiDEL1b.png dbr:File:WikiDEL2b.png dbr:File:WikiDEL3b.png dbr:File:WikiDEL4b.png dbr:File:WikiDEL5b.png dbr:File:WikiDEL6b.png dbr:File:WikiDEL7b.png dbr:File:WikiDEL8b.png dbr:File:WikiDEL9b.png dbr:Public_Announcement_Logic dbr:Russian_cards_problem dbr:NP-completeness dbr:Soundness dbc:Formal_epistemology dbr:Augustine_of_Hippo dbr:Philosophy dbr:Rule_of_inference dbr:Artificial_intelligence dbr:Function_(mathematics) dbr:Baruch_Spinoza dbr:Common_knowledge_(logic) dbr:Formal_grammar dbr:Monty_Hall_problem dbr:Propositional_logic dbr:Event_(philosophy) dbr:Formal_epistemology dbr:MIT_Press dbr:Aristotle dbr:Logic dbr:Plato dbr:Modal_logic dbr:Transitive_closure dbr:Reflexive_relation dbr:Completeness_(logic) dbr:Computability_theory dbc:Artificial_intelligence dbr:Cognitive_science dbr:Economics dbr:Epistemology dbr:Game_theory dbr:Theoretical_computer_science dbr:Decidable_problem dbr:Axiom dbr:Cluedo dbr:Computer_science dbc:Modal_logic dbr:Arthur_Schopenhauer dbr:Binary_relation dbr:Dynamic_logic_(modal_logic) dbr:Propositional_dynamic_logic dbr:Complexity_class dbr:PSPACE-complete dbr:Sum_and_Product_Puzzle dbr:Induction_puzzles dbr:Theorem dbr:Transitive_relation dbr:Theaetetus_(dialogue) dbr:Cornell_University_Press dbr:Distributed_knowledge dbr:Two_envelopes_problem dbr:David_Lewis_(philosopher) dbr:Jaakko_Hintikka dbr:Moore's_paradox dbr:Logic_in_computer_science dbr:Epistemic_logic dbr:Polynomial_time dbr:Kripke_model dbr:Distributed_systems dbr:Multi-agent_systems dbr:Hangman_paradox dbr:Externalists dbr:BNF_grammar dbr:Hintikka dbr:Internalists dbr:Inference_rules dbr:Satisfiability_problem dbr:Truth_conditions dbr:Proof_system
dbp:wikiPageUsesTemplate	dbt:Portal dbt:Cite_book dbt:Reflist dbt:Cite_SEP dbt:Cite_IEP dbt:Non-classical_logic
dct:subject	dbc:Epistemic_logic dbc:Belief_revision dbc:Artificial_intelligence
gold:hypernym	dbr:Framework
rdfs:label	Dynamic epistemic logic (en)
owl:sameAs	wikidata:Dynamic epistemic logic dbpedia-global:Dynamic epistemic logic
prov:wasDerivedFrom	wikipedia-en:Dynamic_epistemic_logic?oldid=1289643888&ns=0
foaf:depiction	wiki-commons:Special:FilePath/WikiDEL1b.png wiki-commons:Special:FilePath/WikiDEL2b.png wiki-commons:Special:FilePath/WikiDEL3b.png wiki-commons:Special:FilePath/WikiDEL4b.png wiki-commons:Special:FilePath/WikiDEL5b.png wiki-commons:Special:FilePath/WikiDEL6b.png wiki-commons:Special:FilePath/WikiDEL7b.png wiki-commons:Special:FilePath/WikiDEL8b.png wiki-commons:Special:FilePath/WikiDEL9b.png
foaf:isPrimaryTopicOf	wikipedia-en:Dynamic_epistemic_logic
is dbo:wikiPageDisambiguates of	dbr:Del_(disambiguation)
is dbo:wikiPageWikiLink of	dbr:Epistemic_modal_logic dbr:Common_knowledge_(logic) dbr:Mutual_knowledge_(logic) dbr:Induction_puzzles dbr:Glossary_of_artificial_intelligence dbr:Del_(disambiguation)
is foaf:primaryTopic of	wikipedia-en:Dynamic_epistemic_logic