About: Dynamic logic (modal logic)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Extension of modal logic

Property	Value
dbo:description	estensione della logica modale (it) extension of modal logic (en)
dbo:wikiPageExternalLink	http://boole.stanford.edu/pub/semcon.pdf https://logicinaction.org/docs/ch6.pdf https://plato.stanford.edu/entries/logic-dynamic/ https://www.cs.cmu.edu/~fp/courses/15816-s10/lectures/19-PDL.pdf
dbo:wikiPageWikiLink	dbr:Modal_operator dbr:Temporal_logic_in_finite-state_verification dbr:Algorithmic_logic dbc:Non-classical_logic dbr:NEXPTIME dbr:Philosophy dbr:Temporal_logic_of_actions dbr:Artificial_intelligence dbr:First-order_logic dbr:Deadlock dbr:Propositional_logic dbr:Possible_world dbr:EXPTIME dbr:Kleene_algebra dbr:Dexter_Kozen dbr:Modal_μ-calculus dbc:Logic_in_computer_science dbr:Logical_system dbr:Modus_ponens dbr:Logic dbr:Duality_(mathematics) dbr:Elementary_algebra dbr:Modal_logic dbr:Precondition dbr:Multimodal_logic dbr:Linguistics dbr:Mathematical_induction dbr:Theoretical_computer_science dbc:Modal_logic dbr:Computer_program dbr:Amir_Pnueli dbr:Postcondition dbr:Regular_expression dbr:Rigid_designator dbr:Hoare_logic dbr:David_Harel dbr:Dov_Gabbay dbr:Boolean_algebra dbr:Formal_verification dbr:Predicate_transformer_semantics dbr:Temporal_logic dbr:Michael_J._Fischer dbr:Rohit_Jivanlal_Parikh dbr:Propositional_variable dbr:Symposium_on_Foundations_of_Computer_Science dbr:Computational_complexity dbr:Vaughan_Pratt dbr:Edsger_Dijkstra dbr:Stanford_encyclopedia_of_philosophy dbr:Livelock dbr:Peano dbr:Systems_of_logic dbr:Richard_Ladner
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:For dbt:Div_col dbt:Div_col_end dbt:Short_description
dct:subject	dbc:Non-classical_logic dbc:Logic_in_computer_science dbc:Modal_logic
gold:hypernym	dbr:Extension
rdfs:label	Dynamic logic (modal logic) (en) Logique dynamique (fr) Logica dinamica (it) Lógica dinâmica (pt)
owl:sameAs	freebase:Dynamic logic (modal logic) wikidata:Dynamic logic (modal logic) dbpedia-it:Dynamic logic (modal logic) dbpedia-fr:Dynamic logic (modal logic) dbpedia-pt:Dynamic logic (modal logic) dbpedia-fa:Dynamic logic (modal logic) dbpedia-global:Dynamic logic (modal logic) dbr:Dynamic logic (modal logic)
prov:wasDerivedFrom	wikipedia-en:Dynamic_logic_(modal_logic)?oldid=1276332076&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Dynamic_logic_(modal_logic)
is dbo:knownFor of	dbr:Dexter_Kozen dbr:Rohit_Jivanlal_Parikh
is dbo:wikiPageDisambiguates of	dbr:Dynamic_logic
is dbo:wikiPageRedirects of	dbr:Propositional_dynamic_logic
is dbo:wikiPageWikiLink of	dbr:Johan_van_Benthem_(logician) dbr:Algorithmic_logic dbr:Index_of_philosophy_articles_(D–H) dbr:Epistemic_modal_logic dbr:Temporal_logic_of_actions dbr:Francine_Berman dbr:Deontic_logic dbr:Description_logic dbr:Dexter_Kozen dbr:Modal_μ-calculus dbr:Modal_logic dbr:Multimodal_logic dbr:Intensional_logic dbr:Defeasible_reasoning dbr:Action_algebra dbr:Propositional_dynamic_logic dbr:Hoare_logic dbr:Fuzzy_control_system dbr:David_Harel dbr:Ulrike_Sattler dbr:Dynamic_logic dbr:George_Edward_Hughes dbr:Predicate_transformer_semantics dbr:Guarded_logic dbr:List_of_programming_language_researchers dbr:Rohit_Jivanlal_Parikh dbr:Social_software_(research_field) dbr:Dynamic_epistemic_logic dbr:Grigore_Roșu dbr:KeY dbr:Vaughan_Pratt dbr:Hennessy–Milner_logic dbr:Extensions_of_First_Order_Logic
is foaf:primaryTopic of	wikipedia-en:Dynamic_logic_(modal_logic)