Handbook of Modal Logic

By Patrick Blackburn, J. Benthem, F. Wolter. 2007

665 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/4deb0844db564c05a2f68617354f9e5d5e386cda

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Michael Fisher
2. Alexei P. Lisitsa
3. Sandor M. Veres
4. Louise Dennis
5. N. Lincoln

Citations in the corpus

• Practical verification of decision-making in agent-based autonomous systems (2013, background): “Consequently, hybrid automata model checking operates much like standard model checking, i.e., it verifies a model of the implemented system, rather than the system itself.”