This HTML5 document contains 90 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n16http://boole.stanford.edu/pub/
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n18https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n23https://www.cs.cmu.edu/~fp/courses/15816-s10/lectures/
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n10https://logicinaction.org/docs/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
n24https://plato.stanford.edu/entries/logic-dynamic/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Dynamic_logic_(modal_logic)
rdf:type
dbo:Software
rdfs:label
Logique dynamique Logica dinamica Dynamic logic (modal logic) Lógica dinâmica
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. 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. 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. 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.
dcterms:subject
dbc:Logic_in_computer_science dbc:Modal_logic dbc:Non-classical_logic
dbo:wikiPageID
31631871
dbo:wikiPageRevisionID
1114497647
dbo:wikiPageWikiLink
dbr:Modal_logic dbr:Artificial_intelligence dbr:Rohit_Jivanlal_Parikh dbr:Modal_operator dbr:EXPTIME dbr:Linguistics dbr:Mathematical_induction dbr:Dov_Gabbay dbr:Temporal_logic dbr:Vaughan_Pratt dbc:Logic_in_computer_science dbr:Dexter_Kozen dbr:Multimodal_logic dbr:Postcondition dbr:Boolean_algebra dbr:Amir_Pnueli dbr:Kleene_algebra dbr:Temporal_logic_in_finite-state_verification dbr:Edsger_Dijkstra dbr:Livelock dbr:First-order_logic dbr:Logic dbr:Formal_verification dbr:Algorithmic_logic dbc:Modal_logic dbr:Richard_Ladner dbr:Computer_program dbr:Computational_complexity dbr:NEXPTIME dbr:Deadlock dbr:Propositional_logic dbr:Propositional_variable dbr:Modal_μ-calculus dbr:Elementary_algebra dbr:David_Harel dbr:Predicate_transformer_semantics dbr:Logical_system dbr:Hoare_logic dbr:Precondition dbr:Possible_world dbr:Philosophy dbr:Symposium_on_Foundations_of_Computer_Science dbr:Systems_of_logic dbr:Peano dbr:Stanford_encyclopedia_of_philosophy dbr:Modus_ponens dbc:Non-classical_logic dbr:Temporal_logic_of_actions dbr:Regular_expression dbr:Duality_(mathematics) dbr:Michael_J._Fischer dbr:Rigid_designator dbr:Theoretical_computer_science
dbo:wikiPageExternalLink
n10:ch6.pdf n16:semcon.pdf n23:19-PDL.pdf n24:
owl:sameAs
dbpedia-it:Logica_dinamica dbpedia-fr:Logique_dynamique freebase:m.0bv95z wikidata:Q3836453 n18:3YdC6 dbpedia-pt:Lógica_dinâmica dbpedia-fa:منطق_پویا_(منطق_وجهی)
dbp:wikiPageUsesTemplate
dbt:Div_col dbt:Div_col_end dbt:For dbt:Reflist
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. 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. 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. 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.
gold:hypernym
dbr:Extension
prov:wasDerivedFrom
wikipedia-en:Dynamic_logic_(modal_logic)?oldid=1114497647&ns=0
dbo:wikiPageLength
30047
foaf:isPrimaryTopicOf
wikipedia-en:Dynamic_logic_(modal_logic)