Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleExecutable modal and temporal logics.AuthorsDas, S. K.PublicationKnowledge Engineering Review, 1995, Vol 10, Issue 4, p411ISSN0269-8889Publication typeArticleDOI10.1017/S0269888900007591