Dynamic logic (modal logic) (original) (raw)
La logique dynamique est une extension de la logique modale destiné au raisonnement portant sur des programmes informatiques et appliqué plus tard à des comportements complexes plus généraux découlant de la linguistique, de la philosophie, IA, et d'autres domaines.
| Property | Value |
|---|---|
| dbo:abstract | In logic, philosophy, and theoretical computer science, dynamic logic is an extension of modal logic capable of encoding properties of computer programs. A simple example of a statement in dynamic logic is which states that if the ground is currently dry and it rains, then afterwards the ground will be wet. The syntax of dynamic logic contains a language of propositions (like "the ground is dry") and a language of actions (like "it rains"). The core modal constructs are , which states that after performing action a the proposition p should hold, and , which states that after performing action a it is possible that p holds.The action language supports operations (doing one action followed by another), (doing one action or another), and iteration (doing one action zero or more times). The proposition language supports Boolean operations (and, or, and not). The action logic is expressive enough to encode programs. For an arbitrary program , precondition , and postcondition , the dynamic logic statement encodes the correctness of the program, making dynamic logic more general than Hoare logic. Beyond its use in formal verification of programs, dynamic logic has been applied to describe complex behaviors arising in linguistics, philosophy, AI, and other fields. (en) La logique dynamique est une extension de la logique modale destiné au raisonnement portant sur des programmes informatiques et appliqué plus tard à des comportements complexes plus généraux découlant de la linguistique, de la philosophie, IA, et d'autres domaines. (fr) La logica dinamica è un'estensione della logica modale originariamente definita per il ragionamento di programmi e in seguito applicata a compiti più generali e complessi derivati dalla linguistica, dalla filosofia, dall'intelligenza artificiale e da altri campi. (it) Lógica dinâmica é uma extensão da lógica modal originalmente planejada para raciocinar sobre programas de computador e, posteriormente, aplicada a mais comportamentos complexos gerais decorrentes da linguística, filosofia, Inteligência Artificial, e outros campos. (pt) |
| dbo:wikiPageExternalLink | http://boole.stanford.edu/pub/semcon.pdf https://logicinaction.org/docs/ch6.pdf https://www.cs.cmu.edu/~fp/courses/15816-s10/lectures/19-PDL.pdf https://plato.stanford.edu/entries/logic-dynamic/ |
| dbo:wikiPageID | 31631871 (xsd:integer) |
| dbo:wikiPageLength | 30047 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1114497647 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Rohit_Jivanlal_Parikh dbr:Modal_logic dbr:Multimodal_logic dbr:David_Harel dbr:Algorithmic_logic dbr:Peano dbr:Regular_expression dbr:Vaughan_Pratt dbr:Deadlock dbr:Dexter_Kozen dbr:Possible_world dbr:Predicate_transformer_semantics dbr:Mathematical_induction dbr:Modal_operator dbr:Elementary_algebra dbr:Precondition dbr:Livelock dbr:Logic dbr:Stanford_encyclopedia_of_philosophy dbr:Computational_complexity dbr:Computer_program dbr:Propositional_logic dbr:Temporal_logic_of_actions dbr:Theoretical_computer_science dbr:Postcondition dbr:Rigid_designator dbr:Linguistics dbr:Amir_Pnueli dbr:Duality_(mathematics) dbr:EXPTIME dbc:Non-classical_logic dbr:First-order_logic dbr:Formal_verification dbr:Michael_J._Fischer dbr:Temporal_logic dbr:Artificial_intelligence dbc:Logic_in_computer_science dbc:Modal_logic dbr:Hoare_logic dbr:Modus_ponens dbr:Dov_Gabbay dbr:Boolean_algebra dbr:Philosophy dbr:Kleene_algebra dbr:Modal_μ-calculus dbr:Propositional_variable dbr:NEXPTIME dbr:Symposium_on_Foundations_of_Computer_Science dbr:Richard_Ladner dbr:Logical_system dbr:Systems_of_logic dbr:Temporal_logic_in_finite-state_verification dbr:Edsger_Dijkstra |
| dbp:wikiPageUsesTemplate | dbt:Div_col dbt:Div_col_end dbt:For dbt:Reflist |
| dct:subject | dbc:Non-classical_logic dbc:Logic_in_computer_science dbc:Modal_logic |
| gold:hypernym | dbr:Extension |
| rdf:type | dbo:Software |
| rdfs:comment | La logique dynamique est une extension de la logique modale destiné au raisonnement portant sur des programmes informatiques et appliqué plus tard à des comportements complexes plus généraux découlant de la linguistique, de la philosophie, IA, et d'autres domaines. (fr) La logica dinamica è un'estensione della logica modale originariamente definita per il ragionamento di programmi e in seguito applicata a compiti più generali e complessi derivati dalla linguistica, dalla filosofia, dall'intelligenza artificiale e da altri campi. (it) Lógica dinâmica é uma extensão da lógica modal originalmente planejada para raciocinar sobre programas de computador e, posteriormente, aplicada a mais comportamentos complexos gerais decorrentes da linguística, filosofia, Inteligência Artificial, e outros campos. (pt) In logic, philosophy, and theoretical computer science, dynamic logic is an extension of modal logic capable of encoding properties of computer programs. A simple example of a statement in dynamic logic is which states that if the ground is currently dry and it rains, then afterwards the ground will be wet. Beyond its use in formal verification of programs, dynamic logic has been applied to describe complex behaviors arising in linguistics, philosophy, AI, and other fields. (en) |
| 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-fa:Dynamic logic (modal logic) dbpedia-fr:Dynamic logic (modal logic) dbpedia-it:Dynamic logic (modal logic) dbpedia-pt:Dynamic logic (modal logic) https://global.dbpedia.org/id/3YdC6 |
| prov:wasDerivedFrom | wikipedia-en:Dynamic_logic_(modal_logic)?oldid=1114497647&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Dynamic_logic_(modal_logic) |
| is dbo:knownFor of | dbr:Rohit_Jivanlal_Parikh |
| is dbo:wikiPageDisambiguates of | dbr:Dynamic_logic |
| is dbo:wikiPageRedirects of | dbr:Propositional_dynamic_logic |
| is dbo:wikiPageWikiLink of | dbr:Rohit_Jivanlal_Parikh dbr:Epistemic_modal_logic dbr:Modal_logic dbr:Multimodal_logic dbr:David_Harel dbr:Description_logic dbr:Algorithmic_logic dbr:Ulrike_Sattler dbr:Vaughan_Pratt dbr:Defeasible_reasoning dbr:Dexter_Kozen dbr:Dynamic_epistemic_logic dbr:Index_of_philosophy_articles_(D–H) dbr:Intensional_logic dbr:List_of_programming_language_researchers dbr:Predicate_transformer_semantics dbr:George_Edward_Hughes dbr:Deontic_logic dbr:Hennessy–Milner_logic dbr:Propositional_dynamic_logic dbr:Temporal_logic_of_actions dbr:Action_algebra dbr:Fuzzy_control_system dbr:Francine_Berman dbr:Grigore_Roșu dbr:Dynamic_logic dbr:Social_software_(research_field) dbr:Johan_van_Benthem_(logician) dbr:KeY dbr:Hoare_logic dbr:Guarded_logic dbr:Modal_μ-calculus dbr:Extensions_of_First_Order_Logic |
| is foaf:primaryTopic of | wikipedia-en:Dynamic_logic_(modal_logic) |