Reasoning about Actions in Dynamic Linear Time Temporal Logic

  title={Reasoning about Actions in Dynamic Linear Time Temporal Logic},
  author={Laura Giordano and Alberto Martelli and Camilla Schwind},
  journal={Logic Journal of the IGPL},
In this paper we present a theory for reasoning about actions which is based on Dynamic Linear Time Temporal Logic (DLTL). DLTL is a simple extension of propositional temporal logic of linear time in which regular programs of propositional dynamic logic can be used for indexing temporal modalities. The action theory we define allows to reason with incomplete initial states, to do postdiction and to deal with ramifications and with nondeterministic actions, which are captured by possibly… CONTINUE READING
Highly Cited
This paper has 46 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 28 extracted citations


Publications referenced by this paper.
Showing 1-10 of 24 references

and Camilla Schwind

  • L. Giordano, A. Martelli
  • Ramification and causality in a modal action…
  • 1999
Highly Influential
10 Excerpts

Ilraith Representing Actions and State Constraints in Model-Based Diagnosis

  • S. Mc
  • 1997
Highly Influential
4 Excerpts

The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression

  • R. Reiter
  • Artificial Intelligence and Mathematical Theory…
  • 1991
Highly Influential
4 Excerpts

Thiagarajan Dynamic Linear Time Temporal Logic

  • M. Barbeau F. Kabanza, R.
  • Annals of Pure and Applied logic
  • 1999

Similar Papers

Loading similar papers…