Pages that link to "Item:Q2983400"

The following pages link to Undecidable problems for modal definability: Table 1. (Q2983400):

Displaying 11 items.

• Definability, decidability, complexity (Q1817073) (← links)
• Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames (Q1908859) (← links)
• Modal definability: two commuting equivalence relations (Q2169131) (← links)
• A Universally Defined Undecidable Unimodal Logic (Q3088054) (← links)
• (Q3329437) (← links)
• Definability Over the Class of all Partitions (Q3431961) (← links)
• Modal Undefinability in Some Alternative Leibnizian Frames (Q3798637) (← links)
• An undecidable problem in correspondence theory (Q3984404) (← links)
• Definability in the class of all -frames – computability and complexity (Q4586217) (← links)
• Modal correspondence theory in the class of all Euclidean frames (Q4684354) (← links)
• Decidable and Undecidable Problems for First-Order Definability and Modal Definability (Q6487229) (← links)