# Dynamic logic (modal logic)

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2013

Highly Cited

2013

- IJCAI
- 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

- Journal of Applied Non-Classical Logics
- 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

- Advances in Modal Logic
- 2002

We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxasticâ€¦Â (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- SIGACT News
- 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

- Ann. Pure Appl. Logic
- 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

- J. Log. Comput.
- 1999

Effective optimisation techniques can make a dramatic diff erence in the performance of knowledge representation systems based onâ€¦Â (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- IJCAI
- 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

- J. Comput. Syst. Sci.
- 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

- STOC
- 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

- J. Comput. Syst. Sci.
- 1979

We introduce a fundamental propositional logical system based on modal logic for describing correctness, termination andâ€¦Â (More)

Is this relevant?