Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Reasoning about knowledge
Exploring logical dynamics
Displaying modal logic
Modal logic
Knowledge and Belief in Philosophy and Artificial Intelligence: Logica Nova
Knowledge and Belief in Philosophy and Artificial Intelligence: Logica Nova
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
On the logic of category definitions
Computational Linguistics
| Hi-index | 0.00 |