A Four-Valued Hybrid Logic with Non-dual Modal Operators.

Diana Costa, Manuel A. Martins

Browse the full TAP paper archive.