Some undecidable properties of SOS specifications

Several properties of SOS specifications with negative premises, often used to define what it means for a specification to be meaningful, are proved undecidable. This includes the existence of least or unique supported or stable models, and specification completeness.