Publisher
Springer International Publishing
Reference14 articles.
1. Abdulla, P.A., Aiswarya, C., Atig, M.F., Montali, M., Rezine, O.: Recency-bounded verification of dynamic database-driven systems. In: Proceedings of the 35th ACM Symposium on Principles of Database Systems (2016)
2. van Benthem, J., van Eijck, J., Stebletsova, V.: Modal logic, transition systems and processes. J. Log. Comput. 4(5), 811–855 (1994).
https://doi.org/10.1093/logcom/4.5.811
3. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press, Cambridge (2001)
4. Fitting, M., Thalmann, L., Voronkov, A.: Term-modal logics. Studia Logica 69(1), 133–169 (2001)
5. Grove, A.J.: Naming and identity in epistemic logic Part II: a first-order logic for naming. Artif. Intell. 74(2), 311–350 (1995)