About: Dynamic logic (modal logic)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Dynamic logic (modal logic) Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Software, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FDynamic_logic_%28modal_logic%29&graph=http%3A%2F%2Fdbpedia.org&graph=http%3A%2F%2Fdbpedia.org

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.

Attributes	Values
rdf:type	software
rdfs:label	Dynamic logic (modal logic) (en) Logique dynamique (fr) Logica dinamica (it) Lógica dinâmica (pt)
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)
dcterms:subject	Non-classical logic Logic in computer science Modal logic
Wikipage page ID	31631871 (xsd:integer)
Wikipage revision ID	1114497647 (xsd:integer)
Link from a Wikipage to another Wikipage	Rohit Jivanlal Parikh Modal logic Multimodal logic David Harel Algorithmic logic Peano Regular expression Vaughan Pratt Deadlock Dexter Kozen Possible world Predicate transformer semantics Mathematical induction Modal operator Elementary algebra Precondition Livelock Logic Stanford encyclopedia of philosophy Computational complexity Computer program Propositional logic Temporal logic of actions Theoretical computer science Postcondition Rigid designator Linguistics Amir Pnueli Duality (mathematics) EXPTIME Non-classical logic First-order logic Formal verification Michael J. Fischer Temporal logic Artificial intelligence Logic in computer science Modal logic Hoare logic Modus ponens Dov Gabbay Logic gate Philosophy Kleene algebra Modal μ-calculus Propositional variable NEXPTIME Symposium on Foundations of Computer Science Richard Ladner Logical system Systems of logic Temporal logic in finite-state verification Edsger Dijkstra
Link from a Wikipage to an external page	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/
sameAs	Dynamic logic (modal logic) Dynamic logic (modal logic) Dynamic logic (modal logic) Dynamic logic (modal logic) Dynamic logic (modal logic) Dynamic logic (modal logic) Dynamic logic (modal logic)
dbp:wikiPageUsesTemplate	dbt:Div_col dbt:Div_col_end dbt:For dbt:Reflist
has 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)
gold:hypernym	Extension
prov:wasDerivedFrom	wikipedia-en:Dynamic_logic_(modal_logic)?oldid=1114497647&ns=0
page length (characters) of wiki page	30047 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Dynamic_logic_(modal_logic)
is Link from a Wikipage to another Wikipage of	Rohit Jivanlal Parikh Epistemic modal logic Modal logic Multimodal logic David Harel Description logic Algorithmic logic Ulrike Sattler Vaughan Pratt Defeasible reasoning

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 43 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software