Skip to search formSkip to main contentSkip to account menu

Dynamic logic (modal logic)

Known as: Dynamic logic, PDL, Propositional dynamic logic 
Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general complex… 
Wikipedia (opens in a new tab)

Related topics

Related topics

31 relations
Action algebraAlgorithmic logicArtificial intelligenceDefeasible reasoning

Broader (1)

Logic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Low power dynamic logic circuit design using a pseudo dynamic buffer
2008
2008
On combinations of propositional dynamic logic and doxastic modal logics
We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic… 
2008
2008
Probabilistic Approach for Yield Analysis of Dynamic Logic Circuits
In deep-submicrometer technologies, process variability challenges the design of high yield integrated circuits. While device… 
Highly Cited
2003
Highly Cited
2003
A leakage-tolerant high fan-in dynamic circuit design style [logic circuits]
A leakage-tolerant design technique for high fan-in dynamic logic circuits is presented. An NMOS transistor with gate and drain… 
Review
2003
Review
2003
Mechanised Reasoning and Model Generation for Extended Modal Logics
The approach presented in this overview paper exploits that modal logics can be seen to be fragments of first-order logic and… 
2002
2002
On Modal Logic Interpretations of Games
Multi-agent environments comprise decision makers whose deliberations involve reasoning about the expected behavior of other… 
1996
1996
Topic and focus in a formal framework
1981
1981
Silicon MESFET digital circuit techniques
Silicon MESFET circuits of gate-level complexity are described and compared. Circuits using all-depletion devices (AD circuits… 
1981
1981
Finite Models for Deterministic Propositional Dynamic Logic
Dynamic logic, an outgrowth of modal logic, was introduced by Pratt [5] as a logical theory capable of expressing properties of… 
1979
1979
Modal Logic of Concurrent Nondeterministic Programs
This paper describes a logic, L, for reasoning about concurrent programs. Programs are similar to those of dynamic logic, with a… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)