A logic on subobjects and recognizability

Reference

H.J. Sander Bruggink and Barbara König. A logic on subobjects and recognizability. In Proceedings of IFIP-TCS '10, 2010.

Suggested BibTeX entry:

@inproceedings{bk:logic10,
    author = {H.J. Sander Bruggink and Barbara K{\"o}nig},
    booktitle = {Proceedings of IFIP-TCS '10},
    title = {A logic on subobjects and recognizability},
    year = {2010}
}

This work is not available online here.