1. Lecture Notes in Computer Science;J Agustí-Cullell,1991
2. Brauner, T.: Hybrid Logic and its Proof-Theory. Springer, Applied Logic Series (2010)
3. Cruz, A., Madeira, A., Barbosa, L.S.: A logic for paraconsistent transition systems. In: Indrzejczak, A., Zawidzki, M., (eds.) 10th International Conference on Non-Classical Logics. Theory and Applications, vol. 358. EPTCS, pp. 270–284 (2022)
4. Cruz, A., Madeira, A., Barbosa, L.S.: Paraconsistent transition systems. In: Workshop on Logical and Semantic Frameworks, with Applications, EPTCS (in print)
5. Cunha, J., Madeira, A., Barbosa, L.S.: Structured specification of paraconsistent transition systems. In: Fundamentals of Software Engineering. LNCS (in print)