Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Dynamic_logic_(modal_logic)> }
Showing triples 1 to 37 of
37
with 100 triples per page.
- Rohit_Jivanlal_Parikh knownFor Dynamic_logic_(modal_logic).
- Dynamic_logic wikiPageDisambiguates Dynamic_logic_(modal_logic).
- PDL wikiPageDisambiguates Dynamic_logic_(modal_logic).
- Propositional_dynamic_logic wikiPageRedirects Dynamic_logic_(modal_logic).
- Action_algebra wikiPageWikiLink Dynamic_logic_(modal_logic).
- Algorithmic_logic wikiPageWikiLink Dynamic_logic_(modal_logic).
- David_Harel wikiPageWikiLink Dynamic_logic_(modal_logic).
- Defeasible_reasoning wikiPageWikiLink Dynamic_logic_(modal_logic).
- Deontic_logic wikiPageWikiLink Dynamic_logic_(modal_logic).
- Description_logic wikiPageWikiLink Dynamic_logic_(modal_logic).
- Dexter_Kozen wikiPageWikiLink Dynamic_logic_(modal_logic).
- Dynamic_epistemic_logic wikiPageWikiLink Dynamic_logic_(modal_logic).
- Dynamic_logic wikiPageWikiLink Dynamic_logic_(modal_logic).
- Epistemic_modal_logic wikiPageWikiLink Dynamic_logic_(modal_logic).
- Francine_Berman wikiPageWikiLink Dynamic_logic_(modal_logic).
- Fuzzy_control_system wikiPageWikiLink Dynamic_logic_(modal_logic).
- George_Edward_Hughes wikiPageWikiLink Dynamic_logic_(modal_logic).
- Guarded_logic wikiPageWikiLink Dynamic_logic_(modal_logic).
- Hennessy–Milner_logic wikiPageWikiLink Dynamic_logic_(modal_logic).
- Hoare_logic wikiPageWikiLink Dynamic_logic_(modal_logic).
- Intensional_logic wikiPageWikiLink Dynamic_logic_(modal_logic).
- Johan_van_Benthem_(logician) wikiPageWikiLink Dynamic_logic_(modal_logic).
- KeY wikiPageWikiLink Dynamic_logic_(modal_logic).
- Logic wikiPageWikiLink Dynamic_logic_(modal_logic).
- Modal_logic wikiPageWikiLink Dynamic_logic_(modal_logic).
- Modal_μ-calculus wikiPageWikiLink Dynamic_logic_(modal_logic).
- Multimodal_logic wikiPageWikiLink Dynamic_logic_(modal_logic).
- PDL wikiPageWikiLink Dynamic_logic_(modal_logic).
- Predicate_transformer_semantics wikiPageWikiLink Dynamic_logic_(modal_logic).
- Propositional_dynamic_logic wikiPageWikiLink Dynamic_logic_(modal_logic).
- Rohit_Jivanlal_Parikh wikiPageWikiLink Dynamic_logic_(modal_logic).
- Social_software_(social_procedure) wikiPageWikiLink Dynamic_logic_(modal_logic).
- Ulrike_Sattler wikiPageWikiLink Dynamic_logic_(modal_logic).
- Vaughan_Pratt wikiPageWikiLink Dynamic_logic_(modal_logic).
- books?vid=ISBN013215871X isCitedBy Dynamic_logic_(modal_logic).
- books?vid=ISBN8301068590 isCitedBy Dynamic_logic_(modal_logic).
- Dynamic_logic_(modal_logic) primaryTopic Dynamic_logic_(modal_logic).