Restricted normal modal logics and levelled possible worlds semantics. - Juan Carlos Agudelo Agudelo; Manuel H. Sierra-Aristizábal (J. Log. Comput., 2014)

Paraconsistent Existential Graphs Gamma Peirce System. - Manuel H. Sierra-Aristizábal (CoRR, 2023)