Pages that link to "Item:Q3126407"

The following pages link to A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4 (Q3126407):

Displaying 2 items.

• A modal view of linear logic (Q4314678) (← links)
• Hintikka multiplicities in matrix decision methods for some propositional modal logics (Q4610320) (← links)