“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
The complexity of reasoning about knowledge and time. I. lower bounds
Journal of Computer and System Sciences - 18th Annual ACM Symposium on Theory of Computing (STOC), May 28-30, 1986
Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Reasoning about knowledge
Handbook of logic in artificial intelligence and logic programming (Vol. 4): epistemic and temporal reasoning
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Set-theoretic completeness for epistemic and conditional logic
Annals of Mathematics and Artificial Intelligence
On the Relation between Interpreted Systems and Kripke Models
Proceedings of the Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Characterizing Correctness Properties of Parallel Programs Using Fixpoints
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Distributed Processes and the Logic of Knowledge
Proceedings of the Conference on Logic of Programs
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Automata logics, and infinite games: a guide to current research
Automata logics, and infinite games: a guide to current research
| Hi-index | 0.00 |