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.
2009
2009
Dynamic Context Logic
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and… 
2007
2007
Dynamic term-modal logic
abstract. A first-order dynamic epistemic logic is developed where the names of the agents are also terms in the sense of first… 
2006
2006
Bisimulation quantifiers for modal logics
Modal logics have found applications in many different contexts. For example, epistemic modal logics can be used to reason about… 
Highly Cited
2004
Highly Cited
2004
Synthesis of underspecified composite e-services based on automated reasoning
In this paper we study automatic composition synthesis of <i>e</i>-Services, based on automated reasoning. We represent the… 
Highly Cited
1994
Highly Cited
1994
Roles and Dynamic Subclasses: A Modal Logic Approach
In this paper, we argue that object-oriented models must be able to represent three kinds of taxonomic structures: static… 
Highly Cited
1994
Highly Cited
1994
Adiabatic dynamic logic
With adiabatic techniques for capacitor charging, theory suggests that it should be possible to build gates with arbitrarily… 
Highly Cited
1994
Highly Cited
1994
Cut-free sequent calculi for some tense logics
We introduce certain enhanced systems of sequent calculi for tense logics, and prove their completeness with respect to Kripke… 
Highly Cited
1990
Highly Cited
1990
A Note on Boolean Modal Logic
We present a proof of a theorem mentioned in an earlier paper “Modal environment for Boolean speculations”, devoted to the study… 
Highly Cited
1980
Highly Cited
1980
A Near-Optimal Method for Reasoning about Action
  • V. Pratt
  • Journal of computer and system sciences (Print)
  • 1980
  • Corpus ID: 10200807
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)