Pages that link to "Item:Q817685"

The following pages link to All finitely axiomatizable tense logics of linear time flows are coNP-complete (Q817685):

Displaying 2 items.

• Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
• 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07 (Q5387300) (← links)