Decidability Results for the Propositional Fluent Calculus

This publication has 10 references indexed in Scilit:

• On the decidability of model checking for several μ-calculi and Petri nets
  Published by Springer Nature ,2005
• Some contributions to the metatheory of the situation calculus
  Journal of the ACM, 1999
• Decidability of model checking for infinite-state concurrent systems
  Acta Informatica, 1997
• Computing change and specificity with equational logic programs
  Annals of Mathematics and Artificial Intelligence, 1995
• The minimal coverability graph for Petri nets
  Published by Springer Nature ,1993
• Modal and Temporal Logics
  Published by Oxford University Press (OUP) ,1992
• A new deductive approach to planning
  New Generation Computing, 1990
• Branching time temporal logic
  Published by Springer Nature ,1989
• An Algorithm for the General Petri Net Reachability Problem
  SIAM Journal on Computing, 1984
• Deciding full branching time logic
  Information and Control, 1984