First-order modal logic

By T. Braüner, S. Ghilardi. Handbook of Modal Logic, 2007

417 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/5ba579ddd9a564e5e60c829887193ec1b72638bd

How researchers see this paper

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

In Artificial Intelligence

1. André Platzer
2. Rajeev Alur
3. Jan-David Quesel

In Computational Theory and Mathematics

1. André Platzer
2. Rajeev Alur
3. Kyoung-Dae Kim
4. P. Arun Raj Kumar
5. Jan-David Quesel

Citations in the corpus

• Differential Dynamic Logic for Hybrid Systems (2008, methodology): “For handling quantifiers, we cannot use the standard rules [26, 27, 33], because these are for uninterpreted first-order logic and (ultimately) work by instantiating quantifiers, either eagerly as in ground tableaux or lazily by unification as in free variable tableaux [26, 27, 33].”