Abstract

AbstractThe paper defines focus games for satisfiability of linear time temporal logic with past operators. The games are defined in such a way that a complete axiomatisation can easily be obtained from the game rules. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call