Fixed Points in Computer Science · 2002 · 21 citations · 2 references
ComputingComputer ScienceFormal MethodsSystems ModelingDeductive VerificationModel CheckingModel ExecutionModel TheoryModel TransformationVerificationAutomated Model Checking
2
Mathematical Social Sciences · 1994 · 3.6K citations
The complexity of reasoning about knowledge and time
Joseph Y. Halpern, Moshe Y. Vardi · 1986 · 187 citations · Full text