Pages that link to "Item:Q1770622"

The following pages link to All normal extensions of S5-squared are finitely axiomatizable (Q1770622):

Displaying 2 items.

• All finitely axiomatizable tense logics of linear time flows are coNP-complete (Q817685) (← links)
• The lattice of extensions of the modal logic of two equivalence relations has the cardinality of the continuum (Q2513225) (← links)