Pages that link to "Item:Q1770622"
From MaRDI portal
The following pages link to All normal extensions of S5-squared are finitely axiomatizable (Q1770622):
Displaying 3 items.
- All finitely axiomatizable tense logics of linear time flows are coNP-complete (Q817685) (← links)
- All proper normal extensions of S5-square have the polynomial size model property (Q1810814) (← links)
- The lattice of extensions of the modal logic of two equivalence relations has the cardinality of the continuum (Q2513225) (← links)