Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Dynamic_logic_(modal_logic)> ?p ?o }
Showing triples 1 to 67 of
67
with 100 triples per page.
- Dynamic_logic_(modal_logic) abstract "Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general complex behaviors arising in linguistics, philosophy, AI, and other fields.".
- Dynamic_logic_(modal_logic) wikiPageExternalLink semcon.pdf.
- Dynamic_logic_(modal_logic) wikiPageID "31631871".
- Dynamic_logic_(modal_logic) wikiPageLength "27073".
- Dynamic_logic_(modal_logic) wikiPageOutDegree "41".
- Dynamic_logic_(modal_logic) wikiPageRevisionID "620940072".
- Dynamic_logic_(modal_logic) wikiPageWikiLink Amir_Pnueli.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Artificial_intelligence.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Category:Logic_in_computer_science.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Category:Modal_logic.
- Dynamic_logic_(modal_logic) wikiPageWikiLink David_Harel.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Dexter_Kozen.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Edsger_Dijkstra.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Edsger_W._Dijkstra.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Elementary_algebra.
- Dynamic_logic_(modal_logic) wikiPageWikiLink First-order_logic.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Formal_system.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Giuseppe_Peano.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Hoare_logic.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Jerzy_Tiuryn.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Kleene_algebra.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Linguistics.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Logical_system.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Mathematical_induction.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Michael_J._Fischer.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Modal_logic.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Modal_operator.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Modal_μ-calculus.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Multimodal_logic.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Peano.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Philosophy.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Possible_world.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Predicate_transformer_semantics.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Propositional_calculus.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Propositional_logic.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Propositional_variable.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Regular_expression.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Rigid_designator.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Systems_of_logic.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Temporal_logic.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Temporal_logic_in_finite-state_verification.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Temporal_logic_of_actions.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Vaughan_Pratt.
- Dynamic_logic_(modal_logic) wikiPageWikiLinkText "Dynamic Logic".
- Dynamic_logic_(modal_logic) wikiPageWikiLinkText "Dynamic logic (modal logic)#Propositional dynamic logic (PDL)".
- Dynamic_logic_(modal_logic) wikiPageWikiLinkText "Dynamic logic".
- Dynamic_logic_(modal_logic) wikiPageWikiLinkText "dynamic logic (modal logic)".
- Dynamic_logic_(modal_logic) wikiPageWikiLinkText "dynamic logic".
- Dynamic_logic_(modal_logic) wikiPageWikiLinkText "dynamic".
- Dynamic_logic_(modal_logic) hasPhotoCollection Dynamic_logic_(modal_logic).
- Dynamic_logic_(modal_logic) wikiPageUsesTemplate Template:Colbegin.
- Dynamic_logic_(modal_logic) wikiPageUsesTemplate Template:Colend.
- Dynamic_logic_(modal_logic) wikiPageUsesTemplate Template:For.
- Dynamic_logic_(modal_logic) wikiPageUsesTemplate Template:Reflist.
- Dynamic_logic_(modal_logic) subject Category:Logic_in_computer_science.
- Dynamic_logic_(modal_logic) subject Category:Modal_logic.
- Dynamic_logic_(modal_logic) hypernym Extension.
- Dynamic_logic_(modal_logic) type Software.
- Dynamic_logic_(modal_logic) comment "Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general complex behaviors arising in linguistics, philosophy, AI, and other fields.".
- Dynamic_logic_(modal_logic) label "Dynamic logic (modal logic)".
- Dynamic_logic_(modal_logic) sameAs Logica_dinamica.
- Dynamic_logic_(modal_logic) sameAs Lógica_dinâmica.
- Dynamic_logic_(modal_logic) sameAs m.0bv95z.
- Dynamic_logic_(modal_logic) sameAs Q3836453.
- Dynamic_logic_(modal_logic) sameAs Q3836453.
- Dynamic_logic_(modal_logic) wasDerivedFrom Dynamic_logic_(modal_logic)?oldid=620940072.
- Dynamic_logic_(modal_logic) isPrimaryTopicOf Dynamic_logic_(modal_logic).