Pages that link to "Item:Q1908859"
From MaRDI portal
The following pages link to Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames (Q1908859):
Displaying 7 items.
- Undecidable problems for modal definability: Table 1. (Q2983400) (← links)
- Definability Over the Class of all Partitions (Q3431961) (← links)
- (Q3770495) (← links)
- Definability in the class of all -frames – computability and complexity (Q4586217) (← links)
- (Q4636561) (← 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)