Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. G. Aucher. A combined system for update logic and belief revision. Master’s thesis, Unviersiteit van Amsterdam, 2003.
2. C. Baier and J. P. Katoen. Principles of Model Checking. Cambridge MA: MIT Press, 2008.
3. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, 2001.
4. W. D. Blizard. Multiset theory. Notre Dame Journal of Formal Logic, 30(1):36–66, 1988.
5. F. Bou, F. Esreva, L. Godo, and Rodríguez. On the minumum many-valued modal logic over a finite residuated lattice. Journal of Logic and Computation, 21(5):739–790, 2011.