Pages that link to "Item:Q1908859"

The following pages link to Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames (Q1908859):

Displaying 1 item.

• Definability in the class of all -frames – computability and complexity (Q4586217) (← links)