Pages that link to "Item:Q3126407"
From MaRDI portal
The following pages link to A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4 (Q3126407):
Displaying 4 items.
- Correcting the tableau procedure for S4 (Q761443) (← links)
- A modal view of linear logic (Q4314678) (← links)
- Hintikka multiplicities in matrix decision methods for some propositional modal logics (Q4610320) (← links)
- A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC (Q5222518) (← links)