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.
2010
2010
A Novel Overlap-Based Logic Cell: An Efficient Implementation of Flip–Flops With Embedded Logic
This paper presents several efficient architectures of dynamic/static edge-triggered flip-flops with a compact embedded logic… 
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… 
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… 
Review
2005
Review
2005
Belief change and dynamic logic
In this paper we compare standard ways to perform belief change with attempts to model such change with dynamic modal operators… 
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… 
1996
1996
Discourse Grammar and Dynamic Logic
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
Sequential method in propositional dynamic logic
SummaryRecently prepositional modal logic of programs, called ‘prepositional dynamic logic’, has been developed by many authors… 
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)