Author:
Gomes Leandro,Madeira Alexandre,Jain Manisha,Barbosa Luis S.
Publisher
Springer International Publishing
Reference11 articles.
1. Baltag, A., Smets, S.: The dynamic turn in quantum logic. Synthese 186(3), 753–773 (2012).
https://doi.org/10.1007/s11229-011-9915-7
2. Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J. Comput. Syst. Sci. 18(2), 194–211 (1979).
https://doi.org/10.1016/0022-0000(79)90046-1
3. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)
4. Lecture Notes in Computer Science;R Hennicker,2019
5. Jain, M., Madeira, A., Martins, M.A.: A fuzzy modal logic for fuzzy transition systems. Electr. Notes Theor. Comput. Sci. (in print)