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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
In this paper we look into the assumption of interpreting LTL over finite traces. In particular we show that LTLf , i.e., LTL… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Statements not only update our current knowledge, but also h ave other dynamic effects. In particular, suggestions or commands… (More)
Is this relevant?
2002
2002
We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic… (More)
  • figure 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
“Written by three of the leading researchers in the field, this book is without doubt the most comprehensive introduction to… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
A simple extension of the propositional temporal logic of linear time is proposed. The extension consists of strengthening the… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Effective optimisation techniques can make a dramatic diff erence in the performance of knowledge representation systems based on… (More)
  • table 1
  • table 2
  • figure 1
  • table 3
  • table 4
Is this relevant?
Highly Cited
1991
Highly Cited
1991
We show that the terminological logic ALC comprising Boolean operations on concepts and value restrictions is a notational… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
We present a new technique for obtaining decision procedures for modal logics of programs. The technique centers around a new… (More)
Is this relevant?
Highly Cited
1981
Highly Cited
1981
Propositional Dynamic Logic can be extended to include both an infinitary iteration construct delta and a backtracking construct… (More)
Is this relevant?
Highly Cited
1979
Highly Cited
1979
We introduce a fundamental propositional logical system based on modal logic for describing correctness, termination and… (More)
Is this relevant?