Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Dynamic_logic_(modal_logic)> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items 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) wikiPageRevisionID "549364142".
- Dynamic_logic_(modal_logic) hasPhotoCollection Dynamic_logic_(modal_logic).
- Dynamic_logic_(modal_logic) subject Category:Logic_in_computer_science.
- Dynamic_logic_(modal_logic) subject Category:Modal_logic.
- 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) label "Lógica dinâmica".
- Dynamic_logic_(modal_logic) sameAs Lógica_dinâmica.
- Dynamic_logic_(modal_logic) sameAs m.0bv95z.
- Dynamic_logic_(modal_logic) sameAs Q5318990.
- Dynamic_logic_(modal_logic) sameAs Q5318990.
- Dynamic_logic_(modal_logic) wasDerivedFrom Dynamic_logic_(modal_logic)?oldid=549364142.
- Dynamic_logic_(modal_logic) isPrimaryTopicOf Dynamic_logic_(modal_logic).