Pages that link to "Item:Q1810814"

The following pages link to All proper normal extensions of S5-square have the polynomial size model property (Q1810814):

Displaying 3 items.

• All finitely axiomatizable tense logics of linear time flows are coNP-complete (Q817685) (← links)
• All normal extensions of S5-squared are finitely axiomatizable (Q1770622) (← links)
• WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY? (Q2940881) (← links)